Liouville's theorem
应用刘维尔定理可以证明，如果一个整函数formula_20总比另一个整函数formula_31小：formula_32，那么这两个整函数成比例关系：formula_33，其中formula_34是比例常数。