Es claro que si formula_127 y formula_132 son homomorfismos entonces formula_133 es un homomorfismo.