Kurs:Körper- und Galoistheorie/Endliche Galoiserweiterung/Übertragung auf Kompositum/Fakt/Faktreferenznummer

Satz 20.7 (Körper- und Galoistheorie (Osnabrück 2018-2019))