命題
K を可換体とする。
L/K を拡大（過去スレpart4の512）とする。
L/K が分離代数的（過去スレpart4の843）かつ純非分離（>>357）なら L = K である。

証明
L/K は純非分離だから>>358より [L ： K]_s = 1 である。
L/K は分離代数的だから>>320より [L ： K] は有限である。
よって、過去スレpart1の269より [L ： K] = [L ： K]_s = 1
よって、L = K である。
証明終