Entonces el grupo de Galois de formula_11 sobre formula_12 es isomorfo a formula_1, pues el grupo de Galois de formula_14 sobre formula_15 es formula_2.