命題
K を可換体とする。
L を K の拡大体とする。
α ∈ L を K 上代数的（>>553）とする。
このとき、K[α] = K(α) (>>539)である。

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