Volviendo a la situación de la definición, tenemos para cada formula_191 que es un elemento de formula_212 una función que asigna a cada polinomio formula_5 de formula_154 su evaluación en formula_215 formula_216 Denotaremos esa función por formula_217 La siguiente proposición muestra que esa función es un homomorfismo de anillos.