Natürliche Zahlen/Eindeutigkeit der Multiplikation/Nachfolger rechts/Fakt

Eindeutigkeit der Multiplikation auf

Auf den natürlichen Zahlen

gibt es eine eindeutig bestimmte Verknüpfung

die

erfüllt.