Si formula_27 es un homomorfismo entonces obedece