$\Omega \subset \mathbb R^n$가 domain 이고, 여기에서 정의된 non-negative harmonic funcition $u$ 를 생각하자. 그러면 bounded connected 인 $\Omega$의 임의의 subset $\Omega_0 \subset\subset \Omega$에 대해 다음을 만족하는 적당한 상수 $C$가 존재한다.$$\sup_{\Omega_0} u \leq C \inf_{\Omega_0}u$$이때 $C$는 $n,\Omega, \Omega_0$에만 의존하고 $u$와는 독립적인 상수이다.($A \subset \subset B$ 는 $\bar A$가 compact 이면서 $A\subset \bar{A}\subset B$ 가 성립함을 의미한다 ) -증명$\Omeg..