Let be a curve and be an element of the set of all smooth vector fields on .

Let re-parameterize the curve.

Then and

.

Thus which is smooth since the composition of smooth functions is a smooth function and therefore .

By definition

So

Also by definition

So, using the chain rule

Which gives

Thus