Who is the XXX named after?
Oka's lemma
In mathematics, Oka's lemma, proved by Kiyoshi Oka, states that in a domain of holomorphy in Cn, the function --log d(z) is plurisubharmonic, where d is the distance to the boundary.
Kiyoshi Oka