Sean formula_3, formula_2 anillos cualesquiera, sea formula_150 tal que para todo formula_115 en formula_3, formula_153 Entonces, formula_56 es trivialmente un homomorfismo de anillos.