La condición formula_9