命題
K ⊂ L ⊂ H を可換体の塔（過去スレpart4の864）とする。
L/K は K 上代数的とする。
S を H の部分集合で K 上代数的独立とする。
このとき K(S) ∩ L = K である。

証明
>>40より K(S) と L は K 上線型無関連（過去スレpart4の713）である。
過去スレpart4の721より K(S) ∩ L = K である。
証明終