Sean formula_7 un grupo y formula_8.