A very important end result by René Thom, which earned him the Fields Medal in 1958, states that any k-dimensional hole can be determined or «surrounded» by a k-dimensional manifold. A submanifold is usually a manifold inside the ambient manifold X; for that to happen, its dimension k really should be reduced when compared to the dimension n of