Natürliche Zahlen/Differenz/Distributivgesetz/Fakt/Beweis/Aufgabe/Lösung
Nach Fakt ist mit auch , sodass wohldefiniert ist. Es ist
und daher ist nach dem Distributivgesetz für die Addition und die Multiplikation
Also ist
Nach Fakt ist mit auch , sodass wohldefiniert ist. Es ist
und daher ist nach dem Distributivgesetz für die Addition und die Multiplikation
Also ist