Les restes de la division euclidienne par
5 sont
0,1,2,3 et
4.
Maintenant, en utilisant un tableau des congruences modulo
5, on obtient :
Il faut analyser la dernière ligne de ce tableau de congruence.
Cela signifie que quel que soit l'entier naturel
n,
n5−n est divisible par
5. En effet, il n'y a que des zéros à la dernière ligne qui confirme l'écriture
n5−n≡0[5] .
Autrement dit, tous les entiers naturels vérifient
n5−n≡0[5]