Soit un entier relatif et le nombre défini par :
1. On constate que :
2. Supposons que est pair, il existe donc tel que . Ainsi : Or ne peut pas être nul pour entier (on aurait , qui n'est pas entier), donc et est divisible par : .
3. On suppose que est impair. On pose alors avec .
(a) On suppose que est impair, donc qu'il existe tel que . On constate tout d'abord que : On constate alors de plus que :
(b) est un nombre premier seulement si l'un de ses deux facteurs vaut ou , donc premièrement si ou . On a tout d'abord : Or cette équation a pour discriminant : Elle a ainsi deux solutions réelles : Or aucune des deux n'est entière. De plus la deuxième équation équivaut à , qui n'a manifestement pas non plus de solutions entières.
On regarde deuxièmement et . On a tout d'abord : On a donc deux solutions entières, et . De plus la deuxième équation équivaut à , elle donne donc deux solutions entières supplémentaires, et . On peut enfin en conclure que est premier pour :