Morse–Palais lemma

theorem that a smooth enough function near a critical point can be expressed as a quadratic form after a suitable change of coordinates