Kurs:Körper- und Galoistheorie/Endliche Galoiserweiterung/Galois über Zwischenkörper/Fakt/Faktreferenznummer

Korollar 16.7 (Körper- und Galoistheorie (Osnabrück 2018-2019))