Lemma 7.11. (Y,X) is 2-relevant to (X,Y).