Si formula_5 entonces existirá un horizonte de sucesos.