fourier-budan theorem