Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Natürliche Zahlen/Eindeutigkeit der Multiplikation/Rekursive Bedingung/Fakt/Faktreferenznummer