Lempert theorem for strongly linearly convex domains
In 1984 L. Lempert showed that the Lempert function and the Carathéodory distance coincide on non-planar bounded strongly linearly convex domains with real-analytic boundaries. Following his paper, we present a slightly modified and more detailed version of the proof. Moreover, the Lempert Theorem is proved for non-planar bounded strongly linearly convex domains.