formula_8 , uno para cada formula_9 , disjuntos,