Liouville's theorem
The direct conditions allow us to prove Liouville's theorem, which states that the "volume" in phase space is conserved under canonical transformations, i.e.,