Liouville's theorem
特に、時間発展は正準変換の特別な例であり、領域の時間発展を考えると、リウヴィルの定理