命題
K を可換体とする。
L を K の拡大体（>>512）とする。
S を L の部分集合で S の各元は K 上代数的（>>553）であるとする。
このとき K[S] = K(S) (>>539) である。

証明
>>607より明らかである。