Por el argumento anterior, el polinomio formula_32 a su vez tiene al menos una raíz y se lo puede factorizar nuevamente.