Cada polinomio formula_31 en formula_253 de grado positivo tiene al menos un cero en formula_3.