Satz 9.3 Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I/Vorlesung 9
Natürliche Zahlen/Eindeutigkeit der Multiplikation/Rekursive Bedingung/Fakt