Einstein's field equations permit de Sitter spacetime, a matter-free solution with well-defined iner...