 The Morse–Palais lemma was originally proved in the finite-dimensional case by the American mathematician Marston Morse, using the Gram–Schmidt orthogonalization process.This result plays a crucial role in Morse theory.The generalization to Hilbert spaces is due to Richard Palais and Stephen Smale.