p est un nombre premier.

D'après le corollaire du petit théorème de Fermat : .

Donc pour tout entier naturel n :

Par conséquent est divisible par p.