Wegen Fakt ist K ⊆ Z ( F ) {\displaystyle {}K\subseteq Z(F)} eine Galoiserweiterung, so dass die Aussage direkt aus Fakt folgt.