Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Algebraische Körpererweiterung/Minimalpolynom ist irreduzibel/Umkehrung/Fakt/Faktreferenznummer