Construimos la aplicación formula_6 que a cada polinomio formula_7 le hace corresponder su evaluación en formula_8, i.e., formula_9.