Satz 40.8
Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 40
Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Körper/Fakt