Liouville's theorem
全 上で定義された有界な調和関数は定数関数となる。この定理は、全複素平面で正則な複素関数（整関数）が有界ならば定数関数であるという、関数論におけるリウヴィルの定理の類似を与えている。