Kurs:Einführung in die Algebra (Osnabrück 2009)/Körpererweiterung/Algebraisches Element/Äquivalente Charakterisierung/Fakt/Faktreferenznummer