darboux's theorem