Es sei n {\displaystyle {}n} eine natürliche Zahl.
Dann gilt für jede zu n {\displaystyle {}n} teilerfremde Zahl a {\displaystyle {}a} die Beziehung