1839年にガウスによってすでに知られていた調和函数に対する最大値原理の一般化として、は1927年、考えている函数がr"n" のある領域においてある種の二階偏微分不等式を満たし、その領域内で最大値を取るなら、その函数は定数であることを示した。