formula_9 es el conjunto candidato en al nivel formula_3.