Pero esta misma condición implica en formula_2 que