命題
一般素冪根拡大（>>375）は一般準可解拡大（>>370）である。

証明
過去スレpart1の584より正則（>>372）な素冪根単純拡大（>>371）は一般準可解拡大である。

非正則（>>373）な素冪根単純拡大（>>371）は>>420より純非分離拡大（>>357）である。
よって、>>419より一般準可解拡大である。

Artin-Schreier拡大は巡回拡大であるから一般準可解拡大である。

以上から>>418より一般素冪根拡大は一般準可解拡大である。
証明終