donc .

Pour tout entier naturel n, donc .

Par conséquent pour tout entier naturel n, 7 divise .

7 est un nombre premier qui ne divise pas 3. D'après le petit théorème de Fermat, . On retrouve le résultat précédent, la fin de la démonstration est identique.