three-sphere theorem