Lemma 45.9
Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 45
Angeordneter Körper/Cauchy-Folge/Addition und Multiplikation/Fakt