Teilbarkeitstheorie (N)/Größenbeziehung/Fakt

Es sei eine natürliche Zahl und ein Teiler von .

Dann ist .

Insbesondere besitzt nur endlich viele Teiler.