Entonces formula_15 es el grupo formado por todos los elementos que son el producto de un número finito de elementos de formula_12 o de formula_31.