Bonjour,
j'ai un exercice sur une des manieres pour demontrer le petit theoreme de fermat et je n'arrive pas a commencer.
voici l'énoncé:
soit p un nb premier et a un entier non divisible par p
soit k un entier tq 1<k<p-1 et rk le reste de la division euclidienne de ka par p

1)prouver que rk est un entier verifiant 1<rk<p-1
2)soit k' un entier tel que k' different de k et 1<k'<p-1 prouver que rk different de rk'


1)j'ai essayé de partir de la definition du reste 0<rk<p
mais je bloque
2)je pense qu'il faut faire un raisonnement par l'absurde en supposant que rk=rk'