D'après le petit théorème de Fermat, est un nombre premier, et non divisible par donc . Le reste dans la division euclidienne de par est .

D'autre part, donc . Puis . Or donc . , donc le reste dans la division euclidienne de par est .