Galois extension
If is a finite Galois extension of , the Galois group formula_153 is solvable. Thus, the Galois group formula_154 is prosolvable.