  A direct proof of Oka's lemma on the relation of holomorphic convexity and
the properties of the distance to the boundary function is provided. Some
related problems for subharmonicity properties of this function are also
studied. A new geometric property of pseudoconvex domains is described.
