Liouville's theorem
设"z"0 ∈ C为使|"p"("z")|在"z"0取得最小值的数; 从用到刘维尔定理的证明中，可以看到这样一个数一定存在。我们可以把"p"("z")写成"z" − "z"0的多项式：存在某个自然数"k"和一些複数"ck"、"c""k" + 1、…、"cn"，使得"ck" ≠ 0，以及：