An important consequence by René Thom, which attained him the Fields Medal in 1958, states that any k-dimensional gap may be identified or «surrounded» by a k-dimensional manifold. A submanifold can be a manifold within the ambient manifold X; for that to occur, its dimension k must be reduced in comparison to the dimension n of X.White III (197