Lemma 8.14
Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Vorlesung 8 Körpererweiterung/Festlegung auf Erzeugendensystem/Fakt