Corollary 7.15.
Assuming that:
(
U
,
V
)
is
C
-relevant
to
(
X
,
Y
)
Then
(
U
+
V
,
U
+
V
)
is
2
(
C
+
1
)
-relevant
to
(
X
,
Y
)
.