Es sei n {\displaystyle {}n} eine positive natürliche Zahl mit kanonischer Primfaktorzerlegung
(die p i {\displaystyle {}p_{i}} seien also verschieden und r i ≥ 1 {\displaystyle r_{i}\geq 1} ).
Dann ist