Intersección de sucesos: formula_4