Impongamos ahora la segunda condición, formula_9