Es sei K ⊆ L ⊆ M {\displaystyle {}K\subseteq L\subseteq M} eine Kette von Körpererweiterungen.
Dann ist