Kurs:Analysis/Angeordneter Körper/Konvergente Folge ist Cauchy-Folge/Fakt/Faktreferenznummer

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