刘维尔定理
Liouville's theorem is a special case of the following statement: