Énoncé selon lequel le flot engendré par un champ vectoriel hamiltonien lisse préserve le volume standard de l'espace des phases (mesure de Liouville) ; équivalemment les flots hamiltoniens ont une divergence nulle par rapport au volume symplectique.