Zahlentheoretische Funktionen/Teilersumme/Multiplikativität/Fakt/Beweis

Aus Wikiversity
Beweis

Bei zwei teilerfremden Zahlen und hat jeder positive Teiler des Produkts die eindeutige Form , wobei ein Teiler von und ein Teiler von ist. Also gilt