Si formula_1 y formula_11 son anillos y existe un homomorfismo de anillos