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