Vi kan dermed skrive . Hvis er et primtall er det ikke mer å bevise. Hvis ikke kan vi gjenta argumentasjonen og produsere et nytt primtall slik at .