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