命題
K を可換体とする。
L/K を拡大（過去スレpart4の512）とする。
S を K 上代数的独立（>>7）な L の部分集合とする。
α ∈ L が K(S) 上超越的（過去スレpart4の544）であるためには
S ∪ {α} が K 上代数的独立であることが必要十分である。

証明
自明である。