Kurs:Analysis/Angeordneter Körper/Elementare Eigenschaften/3/Fakt/Faktreferenznummer