ormula_9，formula_10的模长都小于等于formula_8：则该函数必定是常数函数。
证明.证明用到了整函数和解析函数的关系。整函数必然是解析函数，设有整函数formula_3，考虑它关于formula_14的解析展开：其中的系数formula_16可以根据柯西积分公式求得：其中formula_18是以0为圆心，半径为formula_19的圆。依照函数formula_20有界的条件，可以估计系数formula_16模长的上界：在以上的估计中，曲线积分为f