Claramente, formula_83 es una función inyectiva, Probaremos que es un homomorfismo de anillos.