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