Es sei
und
die Primfaktorzerlegung von b {\displaystyle {}b} (mit verschiedenen Primfaktoren). Dann ist
Die Teiler von a {\displaystyle {}a} haben die Form
mit
für alle j {\displaystyle {}j} . Somit gibt es