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