命題
K を可換体とする。
L/K を有限次拡大（過去スレpart4の842）とする。
N を L/K の正規閉包（>>404）とする。
このとき N/K は有限次拡大である。

証明
>>259より N/K は有限生成（>>215）である。
よって、>>250より N/K は有限次拡大である。
証明終