Kurs:Analysis/Angeordneter Körper/Archimedisch/Formulierung mit zwei Elementen/Fakt/Faktreferenznummer

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