Sphere theorem (3-manifolds)