Liouville's theorem
is constant by Liouville's theorem.