Si formula_127 es un homomorfismo de grupos entonces formula_204 es un subgrupo de formula_24.