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