Hadamard-type theorems for hypersurfaces in hyperbolic spaces

We prove that a bounded, complete hypersurface in hyperbolic space with normal curvatures greater than −1 is diffeomorphic to a sphere. The completeness condition is relaxed when the normal curvatures are bounded away from −1. The diffeomorphism is constructed via the Gauss map of some parallel hypersurface. We also give bounds for the total curvature of this parallel hypersurface.