Loop theorem

The Loop Theorem, often referred to in the context of topology and knot theory, states that for a given loop (or closed curve) in 3-dimensional space, if the loop does not intersect itself, it can be deformed (or "homotoped") to a simpler form—usually to a point or a standard circle—without leaving the surface it is contained within.