ahora bien, los conjuntos formula_5 son disjuntos dos a dos , ya que en caso contrario los formula_6 tampoco