Si el resultado de sustituir formula_3 en el polinomio es igual a 0 (es decir, si formula_3 es raíz), se sabe que formula_2 es un factor.