Por el teorema de homomorfismos de anillos, tenemos que formula_501.