Sea formula_7 un polinomio de formula_128 Si hay un cero común a formula_7 y formula_276 entonces ese cero es al menos doble.