El teorema del factor establece que un polinomio formula_1 tiene un factor formula_2 si y sólo si formula_3 es una raíz de formula_1, es decir que formula_5.