donde formula_237 es cualquier grupo que contenga al conjunto formula_1.