Ontify
Theorem in geometric topology that every simply connected, closed 3-manifold is homeomorphic to the 3-sphere.