Un entier vérifie .
Quel est le reste de la division euclidienne de par ?
donc .
Comme , et ont le même reste dans la division euclidienne par , c'est-à-dire .
