Más aún, es inmediato que formula_43 es un homomorfismo de grupos.