它的模formula_1在定义域内取不到局部最大值。换句话说，全纯函数 "f" 要么是常数函数，要么对于其定义域之内的任意点 "z"，都存在任意靠近它的点 "z"，使得formula_2。
正规陈述.设复值函数 "f" 在复平面C 的连通开子集 "D" 上全纯。如果存在formula_3，使得对"z"的某个邻域上的任意点 "z" 都有formula_4（即formula_5是模的局部最大值点），那么函数 "f" 是 "D" 上的常数函数。通过取倒数，可以得到等价的最小模原