"A geodesic that is not a null geodesic has the property that ∫ds, taken along a section of the track with the end points P and Q, is stationary if one makes a small variation of the track keeping the end points fixed."