Morse-Palais lemma
 
x
OK