Es sei p {\displaystyle {}p} eine ungerade Primzahl.
Dann gilt für eine zu p {\displaystyle {}p} teilerfremde Zahl k {\displaystyle {}k} die Gleichheit