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