Fermat's principle in general relativity.