, nagyon sok minden múlik ezen a feltételen (többek között, az általad említett kanonikus koordinátázás előállíthatósága)
 
Tudnál erről kicsit többet mondani? Szerintem akárhogy koordinátázzuk M-et, a dx_i-k minden pont feletti koérintőtéren bázist alkotnak, tehát a koérintővektorok  ∑_i=1ⁿ p_idx_i alakban előállnak, tehát az koérintőnyaláb lokálisan koordinátázható az (x₁,...x_n, p₁,...p_n) koordinátákkal. A ∑_i=1ⁿ dx_i ∧ dp_i 2-forma pedig mindig anisszimmetrikus és nemdegenrált. Miért kell ide a zártság?