2
!∀
!
∀
!
#∀
!
∃
%&∋
%∋∀!∀
%( !∀ !
%&∀
%&∋
%)!!
∗
∗ ;
;
∋∀
∀( &∋
7
&)
3
3
3!!!∗+
8
6
9
∀,
:
∗
∗ ;
<
∋∀
∀.
7
−
(∃0
8,
3
3
3
96,
<
(∃#
=
:
:
∗
∗ ;
;
>
−
(
:
8
−
(
:
9
−
(
5
:
<∋
=
∋
∋∀
∀2
7
−
≅
∀
∋∀
∀3?∀0,
7
−∀0,
(?∀0,
?∀0,
?∀0,
?∀0,
?∀0,
8
?∀0,
9
ΑΑ
∋∀
(
0
0
=
∋∀
∀%51
7
(?
:
∗
∗ ;
;
0∀
8
∀0,
9
∋∀
∀%(
7−
(
7
6
8
:
:
∗
∗ ;
9
<
?
?
=
#
∋∀
∀%.
7
8
&
∗
1
0
6
9
&
0
0;
0
0
∋∀
1
0
&
0
0
8
9
∗
.
0
0
∗
<
#
=
)
>
3
3
6
7
?
&
1
,
8
&
9?
<
6
6 ?
6 ?
6
=
0∀
∋∀
∀%4/
7
#
.
&
8
8!
&&!
/
∋∀
∀(5.
7
.
.
8!∋&
9!&
10
<
=&!&!&
>
≅
!&&)
Β
∀0&&!&&&
?
&?
.?
.?
8
6?
& ? ?
/
6
&? ?
2
9#?
<
&?
=
6?
6
6
.
#?
&
∋∀
∀(−
&? ∃6
7 ?
∃
&
6
&
&
,
? !0!&&;
&
&
#
∗
.
#
12
8#
∋∀
∀(/
&
7
&
&?
&?
&?
&? 0
&
6
,
&9&
&
&&
∋∀
∀(16
7
#
8
∗
9
&?
<3
∋∀
∀(26
7
6
∋∀ ?
∋∀
∀(3?
7
?
?
8
?
9
6
∋∀
<
6
∋∀
0∗
;∋∃
6 Χ% %%
6 ΧΧ
66 Χ
66 Χ
6 % %%%
6 Χ
66
66
( ∆Ε%%%%
( ∆Ε
(6 ∆Ε
(6 ∆Ε
∃&&0∋<0&),&&);
0∗
;∋∃
6 %
6
66
66
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&
&&∀&00
&&∀&00
# #
17
6∃0&0
6∀<0&&80,
#∆Ε #
∆Ε
∃0&0∀&00
∀&00∀<0&&80,
#∆Ε #
6&
# #
18
&∀&00
&∀&00
# #
&& &&
# #
&&
&&
# #
&&∀&00
&&∀&00
#
&&∀&00
&&∀&00
# #
6∃0&0
6∃0&0
#∆Ε #∆Ε
∆Ε ∆Ε
∃0&0∀&00
∃0&0∀&00
#∆Ε #∆Ε
:#=:∀; !
6&
6&
# #
&∀&00
&∀&00
# #
&&
&&
# #
# #
&&
&&
# #
&&∀&00
&&∀&00
# #
+ + +
24
25
%
!
+#!
!(!
0!
∀
)∋