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