Como formula_56 tiene orden 3, el subgrupo formula_67 también tiene orden 3, lo que implica formula_56 y