Sea formula_1 un grupo de orden 6.