Se sabe del capítulo los Anillos de Polinomios que dicha función es un homomorfismo de anillos.