定理是一个关于全纯函数性质的结论。设 formula_1 是环域 formula_2 上的全纯函数， formula_3 是 formula_4 在圆周 formula_5 上的最大值。那么， formula_6 是一个对数 formula_7 的凸函数。进一步，如果不存在常数 formula_8 和formula_9，使得 formula_1 是 formula_11 的形式，那么 formula_6 是 formula_7 的严格凸函数。定理结论可以重述为：对任何半径为 formula_15