Soit un entier naturel.
1. Il suffit de faire apparaître en facteur. En effet : Donc . De plus : Donc .
2. On remarque que : Ainsi est divisible par si et seulement si est divisible par , et comme est un entier naturel, , donc appartient à l'ensemble , autrement dit :
3. On sait d'après la question 1. que divise pour toute valeur de . Si divisait , alors diviserait par transitivité, ce qui n'est possible, d'après la question 2, que pour ou . Il reste à examiner ces deux cas : pour , ne divise pas ; pour , ne divise pas , car et . Ainsi :