Theorem. Local existence and uniqueness of flows [00A3]

Let be a smooth smooth manifold equipped with a smooth vectorfield. For all point there is an open neighbourhood of and such that there is a flow of , uniquely determined by and the choice of domain.

There exists a maximal flow as well, defined on an open subset . Where is the maximal open interval containing 0, on which the flow line through can be defined.