Kurs:Analysis/Angeordneter Körper/Zwei konvergente Folgen/Vergleich/Fakt/Faktreferenznummer

Lemma 6.3 (Analysis (Osnabrück 2021-2023))