Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Körper/Fakt/Beweis

Beweis

Dies folgt aus Fakt und aus Fakt, es ist somit lediglich noch das Distributivgesetz zu begründen. Dies ergibt sich aus