Dazu brauchst du folgenden
Satz. Sind a, b, c ∈ ℕ mit a·b = c und a≠c, dann ist a<c.
Daraus folgt als
Korollar. Ist a ein nicht-trivialer Teiler von b, dann ist a < b.
Zeigen Sie, dass sich jede natürliche Zahl n ≥ 2 als Produkt von Primzahlen schreiben lässt.
IA: 2 ist eine Primzahl. Also ist 2 ein Produkt von Primzahlen (bestehend aus einem einzigen Faktor).
IV: Angenommen jede Zahl m < n lässt sich als Produkt von Primzahlen schreiben.
IS: n ist entweder eine Primzahl oder eine zusammengesetzte Zahl.
Fall 1. n ist Primzahl. Dann ist m ein Produkt von Primzahlen (bestehend aus einem einzigen Faktor).
Fall 2. n ist eine zusammengesetzte Zahl. Seien dann a, b ∈ ℕ nicht-triviale Teiler von n mit a·b = n. Laut Definition von zusammengesetzte Zahl existieren solche a und b. Laut Korollar ist a < n und b < n. Laut IV lassen sich a und b als Produkte
a = ∏i=1..ka pi
b = ∏i=1..kb qi
von Primzahlen pi (i∈{1..ka}) bzw. qi (i∈{1..kb}) schreiben.
Dann ist
n = ∏i=1..ka pi · ∏i=1..kb qi
ein Produkt von Primzahlen.