Theorem. Normal form of vector fields [00A4]

Let be a smooth n-dimensional manifold equipped with a smooth vector field . For a every point where the does not vanish, there is a local chart of around , such that the is given by a constant function in this chart.

Concretely such that for all , the first basis vecotor of the standard basis.