Kurs:Einführung in die Algebra (Osnabrück 2009)/Algebraerweiterung über Körper/Minimalpolynom und Einsetzung/Fakt/Faktreferenznummer