A constructive nullstellensatz for univariate polynomials