L'ensemble des nombres premiers du type est infini.

Supposons cet ensemble fini. Soit n le plus grand de ces nombres. Le raisonnement précédent montre que possède un diviseur premier plus grand que du type