Cycles of Time: An Extraordinary New View of the Universe

by Roger Penrose

Fig. 2.23 A timelike geodesic line l is characterized by the fact that for any two points p and q on l, not too far apart, the longest local curve from p to q is in fact a portion of l.