The most obvious example of a stationarity in traversal time is a (local or global) minimum – that is, a path of least time, as in the "strong" form of Fermat's principle. But that condition is not essential to the argument.