Definition:Derivative of Smooth Path