Lemma 1.6. Assuming that:

Then |x−y|=|y|.