compact totally convex, totally geodesic submanifold whose normal bundle is diffeomorphic to the ambient manifold