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