Petit theˊoreˋme de Fermat
p désigne un nombre premier et a un nombre entier naturel non divisible par p .
Alors ap−1−1 est divisible par p c'est à dire ap−1≡1[p] 13 est un nombre premier.
17 est non divisible par
13 .
D'après le petit théorème de Fermat on a alors :
1713−1≡1[13]Autrement dit :
1712≡1[13]