Corollary 7.14.
(
X
1
+
X
2
,
Y
1
+
Y
2
)
is
4
-relevant
to
(
Y
,
X
)
.