Satz 20.7
Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 20 Endliche Galoiserweiterung/Übertragung auf Kompositum/Fakt