2
!∀
!
∀
!
#∀
!
∃
%&∋
%∋∀!∀
%( !∀ !
%&∀
%&∋
%)!!
%∗&∋+
%)∋
3
# ∃∀
,∋−∋&∗.(/01&#/∗/(,∋∋∗)2#,3∋04∋∗∋
,∋∋3/#∋/(,∋3∋04/,/5
,∋3∋04/4∋&∗.,∋6∋3/#∋/(,∋3∋04/,/5
/11/∗∋∗)2#,#00∋)−2&03∋04
∀% &∋
7
)
3
8
−
9
&∋
&
:
∗
∗ ;
;
∋∀
∀( &∋
7
&)
3
3
3!!!∗+
8
6
9
∀,
:
∗
∗ ;
;
&)
∋∀
∀−
7
−
(
8
3
3
/
3
9:
4
:
∗
∗ ;
;
<
∋∀
∀.
7
−
(∃0
8,
3
3
3
96,
<
(∃#
=
:
:
∗
∗ ;
;
>
−
(
:
∋∀
∀/
7
−
(
&∋
:
/
:
8
&0
∋∀
∀1!
7
∋
−
(
:
8
−
(
:
9
−
(
5
:
<∋
=
∋
∋∀
∀2
7
−
(
:
?∀
8
&
9
−
(
:
<
−
(
:
=
−
(
:
>
∋
≅
∀
∋∀
∀3?∀0,
7
−∀0,
(?∀0,
?∀0,
?∀0,
?∀0,
?∀0,
8
?∀0,
9
ΑΑ
∋∀
∀4?
7
−?
(?
8
(;
9
5
&
6
&
−∀0,∀
<
(
0
0
−∀0,
(
0
0
=
∋∀
∀%51
7
(?
:
∗
∗ ;
;
0∀
8
∀0,
9
!&0&
<
0,
=
∋∀5∀
)&
>
∀;!
∗ ;
& ;
∋
∋∀
∀%%
7
.?
!&&
&
&
&&&
8#?
∋∀
∀%(
7−
(
7
6
8
:
:
∗
∗ ;
9
<
?
?
=
?
−?
−?
∋∀
∀%−∗∃
7
6
8
∗!!!∗+
∗
6
∗
∗
(
,
∗
#
∋∀
∀%.
7
8
&
∗
1
0
6
9
&
0
0;
0
0
∋∀
8
∀%/6
7
1
0
∗
−4
0
0
∗
&?
8&
∗
∗
9
∗
∋∀
∀%1−
7
1
0
&
0
0
8
9
∗
.
0
0
∗
<
#
=
)
>
3
3
3
∋∀
∀%2∗?
7
5
7
6
& ?
&
?
?,
?
9
∗
∋∀
∀%3
6
7
?
&
1
,
8
&
9?
<
6
6 ?
6 ?
6
=
0∀
∋∀
∀%4/
7
#
0
8
.
9
#
.;
8
8
8
8&
#;
# ?
# ?
&∋
<
0
.
∗
.
&
8
8!
&&!
/
∋∀
∀(5.
7
.
.
8!∋&
9!&
10
<
=&!&!&
>
≅
!&&)
Β
∀0&&!&&&
0&&
&&
∋∀
∀(%&? ∃6
7
6?
& ?
/ ?
.
) ?
&?
&?
?
.?
/?
6 ?
?
&?
.?
.?
8
6?
& ? ?
/
6
&? ?
2
9#?
<
&?
=
6?
6
6
.
6 &∋
∋∀
∀((&? ∃6#
7
6 ?
?
?
?
#?
11
&
!&
?
6
?
#?
&
∋∀
∀(−
&? ∃6
7 ?
∃
&
6
&
&
,
? !0!&&;
!0!&&
0
6
8
? !,&
9
1
∋∀
∀(.& ∃6
7
& ?
#
&
& ;
&
&
&
&
&
#
∗
.
#
12
8#
∋∀
∀(/
&
7
&
&?
&?
&?
&? 0
&?
&
?
&?
&?
?
6? ?
&
& &
& &
#
6
∋
&
6
,
&9&
&
&&
∋∀
∀(16
7
#
8
∗
9
&?
<3
∋∀
∀(26
7
6
?
∋
∋∀ ?
13
6
?
∋
∋
8
.
& ?
5
96
∋∀ ?
<
6
∋∀ ?
∋∀
∀(3?
7
?
?
8
?
9
6
∋∀
<
6
∋∀
14
:!∃ ∃;#
:&
6
6&∗6,
!∀
!
6
6
!
∃&&,&),&&);
0∗
;∋∃
6 Χ% %%
6 ΧΧ
66 Χ
66 Χ
6 % %%%
6 Χ
66
66
( ∆Ε%%%%
( ∆Ε
(6 ∆Ε
(6 ∆Ε
∃&&0∋<0&),&&);
0∗
;∋∃
6 %
6
66
66
15
6 % %%%
6
66
66
∃&&,&),&);
0∗
;∋∃
6 ΧΧ
6 ΧΧ
66 Χ
66 Χ
6 Χ
6 Χ
66
66
( ∆Ε%%%%
( ∆Ε
(6 ∆Ε
(6 ∆Ε
∃&&0∋<0&),&);
0∗
;∋∃
6
6
66
66
6
6
66
66
%#66& 3!∀
!;
&∀ 66 &∋
%%5∀!6!
# 1& 3!
%%%5∀!6 (
! !6
16
%%%%∀0,!!&!0&!0,0,
?
∀;; ∀ ∃;# 8
6&
&&6
!∀; !
6&
6&
# #
&∀&00
&∀&00
# #
&&
&&
# #
&&∀&00
&&∀&00
# #
17
6∃0&0
6∀<0&&80,
#∆Ε #
∆Ε
∃0&0∀&00
∀&00∀<0&&80,
#∆Ε #
∆Ε
∃0&0&
&∀<0&&80,
#∆Ε #
∆Ε
∃0&0&∀&00
&∀&00∀<0&&80,
#∆Ε #
∆Ε
:#=:∀; !
6&
6&
# #
18
&∀&00
&∀&00
# #
&& &&
# #
&&∀&00
&&∀&00
# #
#
;# #!;; ∀ ∃;# 8
!∀; !
6& 6&
# #
19
&∀&00
&∀&00
# #
&&
&&
# #
&&∀&00
&&∀&00
#
6&
6&
# #
&∀&00
&∀&00
# #
20
&&
&&
# #
&&∀&00
&&∀&00
# #
6∃0&0
6∃0&0
#∆Ε #∆Ε
∆Ε ∆Ε
∃0&0∀&00
∃0&0∀&00
#∆Ε #∆Ε
∆Ε ∆Ε
∃0&0& ∃0&0&
#∆Ε #∆Ε
∆Ε ∆Ε
21
∃0&0&∀&00
∃0&0&∀&00
#∆Ε #∆Ε
#
∆Ε ∆Ε
:#=:∀; !
6&
6&
# #
&∀&00
&∀&00
# #
&&
&&
# #
&&∀&00
&&∀&00
# #
22
6&
6&
# #
&∀&00
&∀&00
# #
&&
&&
# #
&&∀&00
&&∀&00
# #
∀0;∋
#&) 6& &&6
Χ
23
+ + +
24
25
∀% ∃;# #
%
!
+#!
!(!
0!
∀
)∋