命題
K を可換体とする。
L/K を拡大（過去スレpart4の512）とする。
L の元で K 上代数的（過去スレpart4の544）なもの全体 M は
L/K の中間体（過去スレpart4の854）をなす。

証明
過去スレpart4の586と過去スレpart4の605より M は L の部分環である。
過去スレpart4の596より M は L の部分体である。
K ⊂ M であるから M は L/K の中間体である。
証明終