リウヴィルの定理
is constant by Liouville's theorem.