Statement For a smooth manifold and a submanifold , there exists a convex neighborhood of (as an embedding using the zero section) in the normal bundle , a neighborhood of in , and a diffeomorphism such that the following diagram commutes. Proof Intuition