Es seien K ⊆ L {\displaystyle {}K\subseteq L} und L ⊆ M {\displaystyle {}L\subseteq M} Körpererweiterungen. Es sei f 1 , … , f r ∈ L {\displaystyle {}f_{1},\ldots ,f_{r}\in L} eine Transzendenzbasis von L {\displaystyle {}L} über K {\displaystyle {}K} und g 1 , … , g s ∈ M {\displaystyle {}g_{1},\ldots ,g_{s}\in M} eine Transzendenzbasis von M {\displaystyle {}M} über L {\displaystyle {}L} . Zeige, dass die Familie
eine Transzendenzbasis von M {\displaystyle {}M} über K {\displaystyle {}K} ist.