Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine endliche Galoiserweiterung und M {\displaystyle {}M} , K ⊆ M ⊆ L {\displaystyle {}K\subseteq M\subseteq L} , ein Zwischenkörper.
Dann ist auch M ⊆ L {\displaystyle {}M\subseteq L} eine Galoiserweiterung.
