命題
K を可換体とする。
H/K を拡大（過去スレpart4の512）とする。
F と N を H/K の中間体（過去スレpart4の854）で F ∩ N = K とする。
F/K は代数的（過去スレpart4の633）とする。
N/K は有限次Galois拡大（過去スレpart4の848）とする。
このとき F と N は K 上線型無関連（過去スレpart4の713）である。

証明
過去スレpart4の717より F の K 上線型独立な任意の有限集合 S が
N 上線型独立であることを証明すれば良い。
過去スレpart4の609より K(S) = K[S] である。
過去スレpart4の585と605より [K[S] ： K] は有限である。
よって、>>46より K(S) と N は K 上線型無関連である。
よって、S は N 上線型独立である。
証明終