Robert Geroch proved in 1970 that every globally hyperbolic spacetime has a Cauchy surface S, and that the homeomorphism (as a C -diffeomorphism) to S × R can be selected so that every surface of the form S × { a } is a Cauchy surface and each curve of the form { s } × R is a continuous timelike curve.