Es sei
die kanonische Primfaktorzerlegung von a {\displaystyle {}a} mit verschiedene Primfaktoren. Dann ist
nach Fakt. Entsprechend ist