  We prove that a 3-dimensional compact Riemannian manifold which is locally
collapsed, with respect to a lower curvature bound, is a graph manifold. This
theorem was stated by Perelman and was used in his proof of the geometrization
conjecture.
