Así, para que la división de polinomios sea siempre posible en un anillo de polinomios formula_21, formula_1 debe de ser un cuerpo (i.e.