Es sei
Dann ist
und somit ist a m {\displaystyle {}a^{m}} ein Teiler von a n {\displaystyle {}a^{n}} . In einem solchen Fall ist der Teiler der größte gemeinsame Teiler und das Vielfache das kleinste gemeinsame Vielfache. Also ist
und