正式に言えば、"f" が調和関数であるなら、その定義域の内部で "f" が極大値を取ることはない。