para todo número formula_25 tal que formula_20.