Kurs:Analysis/Angeordneter Körper/Archimedisch/Stammbrucheigenschaft/Fakt/Faktreferenznummer

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