Morse–Palais lemma

The Morse–Palais lemma is a fundamental result in differential topology and variational calculus, particularly in the study of critical points of smooth functions. It is named after mathematicians Marston Morse and Richard Palais.