Morse–Palais lemma
The Morse–Palais lemma was originally proved in the finite-dimensional case by the American mathematician Marston Morse , using the Gram–Schmidt orthogonalization process . 
<triplet> Morse–Palais lemma <subj> Marston Morse <obj> named after