Sea formula_2 el anillo de polinomios en las variables formula_3 y coeficientes en el cuerpo formula_1.