命題 414
L/K を強正則に冪根可解(>>136)とする。
M を L/K の中間体(part1の309)とする。
このとき、M/K と L/M はそれぞれ強正則に冪根可解である。

証明
>>141の代わりに>>146を使うことを除けば>>147の証明とまったく同じである。