Lemma 6.12
Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 6 Algebraerweiterung über Körper/Minimalpolynom und Einsetzung/Fakt