Für eine Primzahl p {\displaystyle {}p} und eine beliebige ganze Zahl a {\displaystyle {}a} gilt
Anders ausgedrückt: a p − a {\displaystyle {}a^{p}-a} ist durch p {\displaystyle {}p} teilbar.