Homotopy hyperbolic 3-manifolds are hyperbolic