Wir arbeiten mit ≥ {\displaystyle {}\geq } und setzen
was die Primeigenschaft von y {\displaystyle {}y} bedeutet. Eine Formalisierung für die Unendlichkeit der Primzahlen ist