Lemma 22.11
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 22 Algebraerweiterung über Körper/Minimalpolynom und Einsetzung/Fakt