Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Algebraerweiterung über Körper/Minimalpolynom und Einsetzung/Fakt/Faktreferenznummer