Satz 19.6
Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Vorlesung 19 Endliche Galoiserweiterung/Übertragung auf Kompositum/Fakt