On smooth Cauchy hypersurfaces and Gerochs splitting theorem

Given a globally hyperbolic spacetime $M$, we show the existence of a {em smooth spacelike} Cauchy hypersurface $S$ and, thus, a global diffeomorphism between $M$ and $R times S$.