para todos los números formula_25 y formula_48 tales que formula_20 y |"x"| ≥ 1.