命題
K を可換体とする。
K の標数（過去スレpart4の667）を p ＞ 0 とする。
L/K を代数的拡大（過去スレpart4の633）とする。
L/K が純非分離（過去スレpart4の861）であるためには [L ： K]_s = 1 が必要十分である。

証明
過去スレpart2の502による。