Kurs:Vorkurs Mathematik (Osnabrück 2009)/Angeordneter Körper/Elementare Eigenschaften/Fakt/Faktreferenznummer