An important result by René Thom, which earned him the Fields Medal in 1958, states that any k-dimensional gap could be decided or «surrounded» by a k-dimensional manifold. A submanifold is a manifold within the ambient manifold X; for that to happen, its dimension k needs to be lessen compared to the dimension n of X.The reader only has to rely