lambda function）。证明概要如下：若formula_1的值域不包含复平面上的两个点，不失一般性地，可以假设formula_1的值域不包含0和1，设formula_5是其值域中的点，在这个点附近，可以选取模函数formula_6的逆的某个单值解析分支，记作formula_7。利用模函数的通用覆盖性和，可以将formula_8点（formula_9）附近定义的复合映射formula_10解析延拓到整个复平面上，从而得到一个在复平面上单值解析但有界的函数。根据刘维尔定理，该函数为常函数。因此form