Luego si x formula_25 y entonces |y - x | formula_25 0 luego