También si formula_64 y formula_100 son disjuntas se tiene que