Teilbarkeitstheorie (N)/Größenbeziehung/Fakt/Beweis

Beweis

Da der Teiler ausgeschlossen ist, sind bei einer Faktorzerlegung beide Faktoren . Wegen Fakt  (3) ist daher

Der Zusatz ist klar, da es unterhalb von überhaupt nur endlich viele natürliche Zahlen gibt.