Si formula_33 es un homomorfismo de grupos entonces formula_34 es un subgrupo de formula_1.