Entonces, si formula_72, el grupo formula_73 consiste de los elementos formula_74 y formula_75 si y sólo si formula_76."