Let u be a non-negative harmonic function in a bounded domain Ω.
Olkoon u ei-negatiivinen harmoninen funktio rajoitetulla alueella Ω.