formula_27 (los polinomios de grado menor o igual que formula_28 con coeficientes en formula_22) son un espacio vectorial sobre el campo formula_22