Darboux' theorem