Lemma 21.13
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 21 Algebraische Körpererweiterung/Minimalpolynom ist irreduzibel/Umkehrung/Fakt