Considerando la evaluación en formula_482 de los polinomios con coeficientes en formula_480, obtenemos la función formula_485 de formula_486 en formula_443.