Tomando los casos en los que B se cumple, formula_5 se puede interpretar como la parte en los que también se cumple A.