命題
K を可換体とする。
L/K を拡大（過去スレpart4の512）とする。
このとき L/K は超越基底（>>9）を持つ。

証明
L/K が代数的（過去スレpart4の633）なら空集合が L/K の超越基底である。
よって、L/K は代数的（過去スレpart4の544）でないとする。
α ∈ L で K 上超越的（過去スレpart4の544）なものが存在する。
{α} は K 上代数的独立である。
>>34において Γ = L とすれば {α} ⊂ S となる L/K の超越基底 S が存在する。
証明終