formula_1 tiene un elemento de orden 9, formula_1 es el grupo