Satz 40.3
Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 40
Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer Ring/Fakt