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