the theorem has a number of equivalent statements, one of which is that the topology induced by the carnot–carathéodory metric is equivalent to the intrinsic (locally euclidean) topology of the manifold. a stronger statement that implies the theorem is the ball–box theorem. see, for instance, and .