Redo the proposition for diving out roots for formal polynomials