(1)
(2)
(3)
(4)
(5)
(6)
(7)
(4) ならば,
(3) グリーンの公式
(4) が調和関数であれば
(5) が調和関数であれば
(6) 上で (または, )ならば,調和関数は内で0 (または,定数)である.