another proof of Darboux theorem; integrability