Es decir que formula_113 es un grupo.