+
+
∀ ≠
∀ ≠
+
−
=
+
=
=
−
+
−
+
+
−
+
⋅⋅⋅⋅⋅⋅ +
+
⋅⋅⋅⋅⋅⋅ +
+
+
−
⋅⋅⋅⋅⋅⋅ +
−
+
=
=−
•
−
−
=
=
⇒
(
=
+
−
≤
≤
−
=
)
−
A,C ,P.
n k
⋅
−
+
∀ ≠
∀ >
⋅
−
+
+
+
∀ >
(
>
)
n k
=
+
≠
∀
+
−
∀ ≠
+
∀
≥
≠
∀ ≠
+
=
=
−
∀ >
=
−
+
=
>
=
−
=
≠ −
∀
−
−
=
=
−
−
+
+
=
=
+
= +
+
+ +
=
−
∨
∀ ≠
∨
=
=
−
−
∀ ≠
+
>
+
=
−
≠−
−
+
−
+
()
= −
≠
+
−
∀
=
=
=
=
+ +
+
+
+ +
+
−
+ −
∀ ≥
+ −
+ + +
( )=
≠
−
+
∀
>
=
=+ +
− + −
−
−
−
( )
−
+
⋅
+ ⋅⋅⋅⋅⋅⋅⋅ +
+
=
+ +
−
+
+
+
−
+ ⋅⋅⋅⋅⋅⋅⋅ +
+
+
+
+
+
+
+
+
+
+
=
⋅⋅⋅⋅⋅⋅ +
=
=
+
=−
+
+
+
+
+
⋅⋅⋅⋅⋅⋅ +
=
−
−
+
+
+ ⋅⋅⋅⋅⋅⋅ +
+
=
−
=
≥
=⇒ ⇒
=
−
≥
+
−
+
+
=
+
+ ⋅⋅⋅
+
∈
∈
(
∈
≤ ≤
)⇒
+
−
−
−
+
⋅
•
+
+
=
=
+
=
+
+
+
+
++=⋅⋅⋅⋅⋅⋅
−
+
=
+
=
=
+
+
⋅⋅⋅⋅⋅⋅ +
+
⋅⋅⋅⋅⋅⋅ +
+
=
+
+
=
+
+
+ +
+
+
=
+
+
+ ⋅⋅⋅⋅⋅⋅ +
+
⋅⋅⋅⋅⋅⋅ +
⋅⋅⋅ +
+
−
=
+
=
=
+
+ ⋅⋅⋅⋅⋅⋅⋅ +
+
⋅
+
+
⋅⋅⋅⋅⋅⋅⋅ +
=
−
+
=
⋅
−
=
−
⋅
+ ⋅⋅⋅⋅⋅⋅⋅ +
+
+
+
+
=
+
=
−
≤−
−
+
+
=
+
−
+
−
⋅⋅⋅⋅⋅⋅ +
+
−
+
∈
+
+
−
+
+
+
−
+
+
⋅⋅⋅ +
+
=
−
+
+
+
=
+
+
+
⋅⋅⋅⋅⋅⋅⋅
−
=
−
=
=
−
+
= +
+ ⋅⋅⋅⋅⋅⋅⋅ +
+ ⋅⋅⋅⋅⋅ +
+
+
+
= + +
⋅⋅⋅⋅⋅ +
+
+
+
+
⋅⋅⋅⋅⋅⋅⋅ +
+
=
−
−
+
+
∫
⇔
=∫
+
=
−
+
−
+
⋅
+ ⋅⋅⋅⋅⋅⋅⋅ +
⋅⋅⋅⋅⋅⋅ +
+
−
−
+
+
−
+ ⋅⋅⋅⋅⋅⋅ +
+
+
+
+
+−
−
−
+
−
+ ⋅⋅⋅⋅⋅⋅ +
+
+
⋅
−
⋅
=
⋅
+
+
−
+
=
=
=
−
=
+
−
+
+
−
+
+
+
+
⋅ ⋅⋅⋅⋅⋅⋅⋅ +
=
⋅
−
+
+
⋅
+
=+
+
⋅ ⋅⋅⋅⋅⋅⋅⋅
=
(+− ) +
−
+
+
−− + +
+− ⋅⋅⋅⋅⋅⋅⋅+
⋅⋅⋅⋅⋅⋅⋅⋅
− −
⋅
=
+
+
+
+
+ ⋅⋅⋅⋅⋅⋅ +
+ ⋅⋅⋅⋅⋅⋅ +
⋅ +
−
⋅
−
=
−
+
⋅
=
+
=
=
⋅
+
+ ⋅⋅⋅⋅⋅⋅ −
=
+
−
+
−
⋅−
−
+
+
=
=
+
+
+
+
+
+ ⋅⋅⋅⋅⋅⋅ + +
+
=
+ ⋅⋅⋅⋅⋅⋅⋅ +
= =
+
−
+
=
+
>
−
≠
−
−
−
+
=
−
>
⋅
⋅
=⋅
⋅
> −
−
−
−
−
−
−
=
+
−
+
−
≠
≠
∈
+
−
−
+
+
+
−
+ +
+
+ ⋅⋅⋅⋅⋅⋅ +
+
= + +
+
+
+
−
−
+
=
=
+
+
++
+=⋅⋅⋅⋅⋅⋅⋅⋅⋅
∈
+
+ +
= +
+
−
+
+
=
+
=
+
+
+
)
+
⋅⋅⋅ +
=
−
+ ⋅⋅⋅⋅⋅⋅ +
+
+
=
⋅⋅⋅ +
=
−
+
− =
+
+
+
+
+ ⋅⋅⋅⋅⋅⋅ +
⋅
+
+ ⋅⋅⋅⋅⋅⋅⋅⋅
+
+
+
=
−
−
+
+ +
−
⋅⋅⋅⋅⋅⋅⋅⋅⋅
+
+
+
=
=
−
−
−
−
=
+
+(−)
−
+ ⋅⋅⋅⋅⋅⋅ +
+
= ⋅
+ ⋅⋅⋅⋅⋅⋅
⋅
≤ ≤
−
+
−
−
+
=
=
−
+
+
+
−
+
+ ⋅⋅⋅⋅⋅⋅⋅⋅⋅
+
+
+
+
+
−
−
=
=
=
=
−
+
+ ⋅⋅⋅⋅⋅⋅⋅⋅⋅
+
+
−
−
+
−
+
+
+
+ ⋅⋅⋅⋅⋅⋅⋅⋅⋅
− ⋅⋅⋅⋅⋅⋅⋅⋅⋅+ +
+
( ) + ( ) + ⋅⋅⋅⋅⋅⋅⋅⋅⋅
−
+
( )+ (
)
= +
=
−
≥
+ +
}
⇔
⇔ =
{
= =
=
−
−
≤ ≤
−
−
=
≤
)⋅=
Ω
⇒
∪
=
+
−
+
{
+
+
•
⇔
(
}
⇔ =
)
(
)
)
(
)⇔(
+ +
)
(
=
⋅
⋅
=
⋅
=
⋅
⋅
=
( )=