Abstract

We prove a Morse type lemma for, possibly degenerate, critical points of a C1 function twice strongly differentiable at those points, which allows us to recover, for Finsler metrics, the theorem of Gromoll and Meyer on the existence of infinitely many closed geodesics.