设函数是有界区域内的非常数的解析函数，且在闭域上连续，则存在，使得对任意的，有，且存在使得.