 Elliptization theorem

Every connected closed orientable three-manifold with finite fundamental group admits spherical geometry. With cyclic fundamental group, it is a lens space.