como formula_36 y formula_37 es un homomorfismo, tenemos que