Satz 10.8 Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 10
Natürliche Zahlen/Ordnungsrelation/Verträglichkeit/Fakt