We consider the general case, without having information on the stability and multiplicity of the roots of $p$, and we seek to calculate $\sigma(p)$.
We construct the two polynomials $f$ and $g$ satisfying $f = p \wedge p_0$ and $p = fg$.
Show that $\sigma(g) = \pi(J(g))$.