Theorem. Flow Property [00A7]

Let be a smooth manifold equipped with a smooth vectorfield . Let be the maximal flow of .

Set where is defined, then