Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine endliche separable Körpererweiterung 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 separable Körpererweiterung.
