Si formula_89 entonces formula_90 es un subgrupo propio de formula_3 y, por lo tanto, normal en formula_82