Hi guys !
I am sure that these statements hold:
1) Darboux theorem - locally (if \mathrm{d}H\neq 0 ), it is always possible to find 2N independent functions H_2, H_3, \ldots, H_N , ( H_1 = H ) and G_1, G_2, \ldots, G_N such that (H_1,\ldots,H_N,G_1,\ldots,G_N) constitute the canonical...