- Dobstruction de support démontrée, valable pour n ≥ 2 (cas q₁=2 dégénéré)
- Fferme la voie K# vers ζ
Ce que cela montre
que le support primoriel agrégé est disjoint du support eulérien. L’un des trois résultats centraux.
Ce que cela ne prouve pas
rien sur RH — c’est une fermeture, pas une ouverture.