On smooth Cauchy hypersurfaces and Geroch's 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$.