Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Angeordneter Körper/Betragseigenschaften/Fakt/Faktreferenznummer