Liouville's theorem
在复杂平面上处处有定义且有界。但可以证明，预解函数"R"在其定义域是全纯的。通过向量值情形的刘维尔定理可知这个函数是常数。因为它在无穷远处为零，所以恒为零。产生矛盾。