To apply the theorem, we assumed that the dynamics were governed by a smooth function on the manifold.