結論を言うと
|x|＜y と -y＜x＜yが論理的に同値であることは"任意の"実数x, y について成り立つ