Endliche Galoiserweiterung/Fakt