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

証明
T を S の任意の空でない有限部分集合とする。
過去スレpart4の717より K(T) と L が K 上線型無関連であることを証明すれば良い。
よって、過去スレpart4の849より K[T] と L が K 上線型無関連であることを証明すれば良い。
T の単項式全体は K[T] の K 上の線型基底である。
>>39より T は L 上代数的独立であるからこれ等の単項式は L 上線型独立である。
よって、過去スレpart4の804より K[T] と L は K 上線型無関連である。
証明終