命題
K を可換体とする。
L/K を拡大（>>512）とする。
L の元で K 上分離的（>>841）なもの全体 M は L/K の中間体（>>854）をなす。

証明
>>636より L は代数的閉包（>>628）Ω を持つ。
α、β ∈ M とする。
α、β ∈ Ω であるから過去スレpart1の271より K(α、β)/K は分離的（>>843）である。
よって、K(α、β) ⊂ M である。
よって、M は L の部分体である。
K ⊂ M であるから M は L/K の中間体である。
証明終