Natürliche Zahlen/Differenz/Distributivgesetz/Fakt/Beweis
Erscheinungsbild
Beweis
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