Seien K⊆L{\displaystyle {}K\subseteq L} und L⊆M{\displaystyle {}L\subseteq M} endliche Körpererweiterungen.
Dann ist auch K⊆M{\displaystyle {}K\subseteq M} eine endliche Körpererweiterung und es gilt