++45.$6
@5%FG5%FTG<U!)V
2
≥
<CL%
∀
∀
QWWX5%6
SQ
2
I
2
IX
2
≥
QIXIXQSQ
2
I
2
IX
2
≥
QTQXIX
SQ
2
I
2
IX
2
I
≥
OQIIXSY%>%SQZ%D)Q
2
I
2
IX
2
QTXXQP
21
JJOQ
2
I
2
IX
2
QTXTXQSP
210)()()(
222
≥−+−+−
z y z x y x
[CL%5\%Q]]X
R
∈
^AOQS
≥
<CL%
∀
Q]?)Q>6R%QP
OQXS
≥
<CL%
∀
Q]X?)Q>6R%QPXOXS
≥
<CL%
∀
X]?)Q>6R%XP
^;Q
2
I
2
IX
2
≥
QIXIXQ?)Q>6R%QPPXSQZ%D)Q
2
I
2
IX
2
OQTQXIXSPQ
2
I
2
IX
2
QIQXTXPOQTIXS
2
0
≥
[CL%5\%Q]]X
R
∈
^;Q
2
I
2
IX
2
≥
QTQXIX[CL%5\%Q]]X
R
∈
?)Q>6R%QIPXSQZ%D)Q
2
I
2
IX
2
ITOQIIXSPQ
2
QII
2
IIX
2
XIPOQS
2
IOS
2
IOXS
2
≥
<?)OPSQ>6R%QPPXP
5%6S
222
22
+≥+
baba
]S
2222
33
++≥++
cbacba
S_`'()$4%8$