刘维尔定理
is constant by Liouville's theorem.