
Soit non multiple de
On sait, d’après le petit théorème de Fermat, que :
En effectuant la division euclidienne de par
:
Il suffirait donc que vérifie la double condition :
Or, l’existence d’un vérifiant
est conséquence immédiate du théorème des restes chinois, puisque
et
sont premiers entre eux.
Pour consulter l’énoncé, c’est ici
Partager cet article