Lemma 7.9.
2
d
[
X
1
;
X
2
]
+
2
d
[
X
3
;
X
4
]
+
d
[
X
1
;
X
4
]
+
d
[
X
2
;
X
3
]
≥
2
d
[
X
1
+
X
2
;
X
3
+
X
4
]
+
d
[
X
1
+
X
4
;
X
2
+
X
3
]
+
2
d
[
X
1
|
X
1
+
X
2
;
X
3
|
X
3
+
X
4
]
+
d
[
X
1
|
X
1
+
X
4
;
X
2
|
X
2
+
X
3
]
+
1
3
(
d
[
X
1
+
X
2
;
X
1
+
X
3
∥
X
2
+
X
3
,
W
]
+
d
[
X
1
+
X
2
;
X
1
+
X
4
∥
X
2
+
X
4
,
W
]
+
d
[
X
1
+
X
4
;
X
1
+
X
3
∥
X
3
+
X
4
,
W
]
)