sentence1: any spacetime is a differentiable manifold every point of which has for tangent space a minkowski space , on which the lorentz group acts .
sentence2: the space-time is a solution of einstein equations with negative cosmological constant λ .