sphere theorem
Theorem 1 (sphere theorem).
If is a differentiable orientable 3-manifold such that is not trivial, then there exists an embedding such that its image homotopy class is not equal to zero.
This theorem was established and proved by C. Papakyriakopoulos in 1957.