An important outcome by René Thom, which earned him the Fields Medal in 1958, states that any k-dimensional gap might be established or «surrounded» by a k-dimensional manifold. A submanifold is actually a manifold within the ambient manifold X; for that to occur, its dimension k really should be decreased when compared to the dimension n of X.B