Así, formula_21 es un anillo de polinomios en una sola indeterminada formula_22.