Resolución: Sea formula_17 un homomorfismo.