Liouville's theorem
を満たすものがない場合に限る。リウヴィルの定理によれば、エネルギー面上の測度 μ で時間並進不変なものが存在する。結果として時間並進は、エネルギー面 Ω"E" 上の自乗可積分関数に内積を