It can be expressed in term of first integrals, also:
Given the open set , and such that , we can find an open subset such that the system
admits first integrals which are functionally independent and such that any other first integral depends functionally on them. (Proof [Arnold 1991]).
This first integrals define a curve in that is precisely a solution curve . Moreover, the first integrals together with the first coordinate function let us define a coordinate change
so that the vector field is rectificated. Because of this this result is also called rectification lemma for vector fields.