Por tanto, formula_23 es un factor porque -1 es una raíz de formula_7.