命題
K を可換体とする。
L/K を有限次（過去スレpart4の842）の純非分離拡大（>>357）とする。
このとき L ≠ K なら次のような可換体の塔（過去スレpart4の864）が存在する。
K = K_0 ⊂ K_1 ⊂ ．．．⊂ K_n = L

ここで、n ≧ 1 で各 K_i/K_(i-1)、i = 1、．．．、n は
非正則（>>373）な素冪根単純拡大（>>371）である。

証明
>>430と>>432より明らかである。