 For a particular smooth manifold or smooth map between smooth manifolds, this can be shown by breaking up the manifold into small enough pieces, and then linearizing the manifold or map on each piece