Lemma 40.6
Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil II/Vorlesung 40
Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Addition/Fakt