Todas las líneas geodésicas son extremales de la integral anterior.