Utilisons un raisonnement par l'absurde et supposons que soit un entier q, alors .

De plus comme p est premier, q est différent de 0 et 1.

Par conséquent p possède au moins trois diviseurs distincts : 1, q et . Et ceci contredit le fait que p soit premier.

Donc n'est pas un entier. La proposition est donc vraie.

. Comme , et, n et sont deux diviseurs propres de .

n'est pas premier.