Se dirá que la aplicación formula_3 es un homomorfismo de anillos si se cumplen las siguientes dos condiciones: