.
Donc 
.
Comme 
; 
et 
.
Par conséquent, 
et 
sont deux diviseurs propres de 
(c'est-à-dire différent de 1 et de ).
Donc n'est pas premier.
.
Donc .
Comme ; et .
Par conséquent, et sont deux diviseurs propres de (c'est-à-dire différent de 1 et de ).
Donc n'est pas premier.