Natürliche Zahlen/Differenz/Distributivgesetz/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

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

Zur bewiesenen Aussage