7) est un entier naturel non nul ; on pose et .
Le reste de la division euclidienne de par est
est divisible par si
est divisible par si et seulement si
Si alors et ; divise .
