donde la condición formula_14 es libre.