Lemma 1.6. Assuming that:

Then |xy|=|y|.