Entonces, si formula_293, el grupo formula_294 consiste de los elementos formula_295 y formula_296 si y sólo si formula_297."