Let be a curve and be an element of the set of all smooth vector fields on .
Let re-parameterize the curve.
Thus which is smooth since the composition of smooth functions is a smooth function and therefore .
Also by definition
So, using the chain rule