Liouville's theorem
リウヴィルの定理によると、ハミルトニアン と分布関数 を持つ系で