|x|>|y|\Rightarrow x>y