 Solution

Order the phase-space coordinates asThen Hamilton's equations areThe Poisson bracket is

For $X=X(x)$ with Jacobian $J_{ab}=\partial X_a/\partial x_b$, the chain rule givesThis has Hamiltonian form with the same canonical matrix for every $H$ exactly whenTaking determinants gives $(\det J{)}^2=1$; the symplectic condition fixes the orientation, so $\det J=1$. Hence the change-of-variables formula shows that the phase-space volume element is invariant. This is Liouville theorem in Hamiltonian mechanics.