Además, si formula_50 es el subgrupo alternante de formula_47, entonces