formula_57 tendrá tres elementos y, por ser disjunta con