bonjour, je recherche la démonstration du critère de primalité à la Lehmer...
voici l'énoncé exact:
soit n>1 un entier impair
il y a équivalence entre:
1) n est premier
2) il existe un entier a tel que a^(n-1) = 1 [n] et pour tout q facteur premier de n-1, a^((n-1)/q) non congru à 1 modulo n.
Je bloque sur l'implication 2) -> 1).
merci d'avance!
-----
