Dados dos eventos formula_5 y formula_16, entonces: