Embeddings of non-positively curved compact surfaces in flat Lorentzian manifolds

We prove that any metric of non-positive curvature in the sense of Alexandrov on a compact surface can be isometrically embedded as a convex spacelike Cauchy surface in a flat spacetime of dimension (2+1). The proof follows from polyhedral approximation.