Sigue de la proposición que formula_227 es un homomorfismo de anillos.