sentence1: such a spacetime is a solution without any source but with a universal curvature encapsulated in a cosmological constant .
sentence2: the spacetime is a product r1,1 is a compact spin turn implies that locally manifold .