命題
Ψ を可換体の分離代数的拡大（過去スレpart4の843）の全体の類とする。
このとき Ψ は正則（>>27）である。

証明
過去スレpart1の284と同様である。