donde formula_5 y formula_6 son el orden del grupo formula_1 y el orden del subgrupo formula_3, en tanto que formula_9 es el índice de formula_3 en formula_1.