Cours, TD et TP de preuves de programmes - IRIF

Exercice 9. Soient p un nombre premier et a un entier positif non multiple de p. a) Montrons qu'il existe un plus petit entier positif k tel que ak ? 1 [p] ...