Si formula_4, es decir, los puntos arbitrariamente lejanos pueden ser observados, entonces el horizonte de sucesos es vacío.