Lemma 8.10
Kurs:Vorkurs Mathematik (Osnabrück 2009)/Vorlesung 8 Angeordneter Körper/Archimedisch/Formulierung mit zwei Elementen/Fakt