Por último, se sabe que formula_8 para cualesquiera sucesos formula_9 y formula_10.