- Dformule (N−k)/k via Plancherel + orthogonalité (preuve mathématique)
- Ffalsifie Kᵖ(a) avec |T_p|=3
Ce que cela montre
qu’un invariant quadratique seul ne distingue pas la structure interne de T.
Ce que cela ne prouve pas
rien sur RH (théorème sur la classe de candidats).