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