Es claro que si formula_3 y formula_8 son homomorfismos entonces formula_9 es un homomorfismo.