Liouville's theorem
formula_32说明，函数formula_37的模长总小于等于1。另一方面，由于formula_32，所以formula_39的奇点都是可去奇点，可以依照上面的方式拓延为整函数formula_37。所以formula_37作为一个有界的整函数，根据刘维尔定理，必然是常数函数。这说明formula_20和formula_31成比例关系。