A very important final result by René Thom, which gained him the Fields Medal in 1958, states that any k-dimensional gap could be determined or «surrounded» by a k-dimensional manifold. A submanifold is really a manifold throughout the ambient manifold X; for that to happen, its dimension k must be reduced compared to dimension n of X.Elaborate