{{ Mathematischer Text/Beweis |Text= {{ Beweisstruktur |Strategie= |Notation= |Beweis= Bei zwei teilerfremden Zahlen ${\displaystyle {}n}$ und ${\displaystyle {}m}$ hat jeder positive Teiler ${\displaystyle {}t}$ des Produkts ${\displaystyle {}nm}$ die eindeutige Form ${\displaystyle {}t=ab}$, wobei ${\displaystyle {}a}$ ein Teiler von ${\displaystyle {}n}$ und ${\displaystyle {}b}$ ein Teiler von ${\displaystyle {}m}$ ist. Also gilt {{ Ma:Vergleichskette/disp | \sigma(n m) ||\sum_{t {{|}} mn} t || \sum_{a {{|}} m \mbox{ und } b {{|}} n} ab || {{makl| \sum_{a {{|}} n } a |}} {{makl| \sum_{b {{|}} m } b |}} || \sigma(n) \sigma(m) |SZ=. }} |Abschluss= }} |Textart=Beweis |Kategorie=Die Teilersummenfunktion |Kategorie2= |Kategorie3= |Objektkategorie= |Stichwort= |Autor= |Bearbeitungsstand= }}