darboux theorem