(ii) La función formula_62 tal que formula_63 es un homomorfismo inyectivo de anillos, o sea que formula_64 es isomorfo como anillo a la imagen formula_65."