Esta última condición implica formula_6