Angenommen es gibt eine größte Primzahl p, so konstruiere man eine Zahl q aus dem Produkt aller
Primzahlen + 1.
q = (2·3· · ·p) + 1
Falls q eine Primzahl ist, gibt es einen Widerspruch zur Annahme; ist hingegen q teilbar, so kann sie nicht durch eine Primzahl kleiner als p geteilt werden, da immer der Rest 1 bleibt.
Da aber jede teilbare Zahl das Produkt von Primzahlen ist, muß q durch eine Primzahl größer als p geteilt werden. Dies ist ebenso im Widerspruch zur Annahme, also kann diese nicht gelten. Es gibt keine größte Primzahl; daher gibt es unendlich viele.