On a , donc le minimum vaut au plus . Les puissances de se terminent par et celles de par , donc se termine par s'il est positif, et se termine par s'il est positif. Les seules valeurs inférieures à possibles pour sont donc et .
• est impossible : , donc divise , ce qui contredit le lemme d'Euclide.