Natürliche Zahlen/Eindeutigkeit der Multiplikation/Rekursive Bedingung/Fakt/Beweis/Aufgabe

Beweise den Satz über die Eindeutigkeit der Multiplikation auf .