Si formula_25 es un homomorfismo de grupos, entonces formula_26.