This note shows equivalence of two ways of differentiating motion constraints.

It is obvious to me now, but when I wrote this (>1 year ago) it apparently
wasn't obvious and I felt the need to write it up.
Finish example. Add references. Add steady turn equilibrium.