Si formula_24 entonces, del mismo modo, formula_25, de manera que