Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer Ring/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Aufgrund von Fakt und Fakt müssen wir nur noch das Distributivgesetz überprüfen. Dieses ist wegen

erfüllt.

Zur bewiesenen Aussage