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