Entonces formula_236 es el grupo formado por todos los elementos que son el producto de un número finito de elementos de formula_1 o de formula_252.