Sea formula_117 un homomorfismo de anillos.