∀# #
∃
%
.
∀#
+
!
1
+
,
#
∃%
∀#%++
%% −
# + +
−
& & ∋()
∋ ∗+, +
/0&
/0&
& & ∋()
−
,# ,
,+
−
+0 ∃ ∋
%%
∗
%
∃
+#
!
, 2∗+,3∗
4 ∃ +−+,
.
) 2 +3
1
8
9
:
2 +3∗
4 ∃
;
=
∋ 2∗+,3 +0 4 ∃
%
4 ∃ 5
&
∗
− 2 +0 3
∃
∋0∗
& 6
∃,
+
, 2 +0 3∗+,4
%% ∃
%
−
7
%
4 ∃ +
,
+,
∃
∋0∗
∀+∗ 2 +0 3∗
4 ∃
+,−+,
+,
<
−
+∃
+ +
#
+
%
<
+
%>
∋ 0
∗#
∃%
?
+<
0 ∗
+ ∃
∋
2 +0 3∗
4 ∃ ∗
+
+<
+
≅
∋ 2 +0 3∗
4
!Α
2∗
3
+
!!
!.
∋
!1
%
4 ∃
∗+
2 +0 3
+%%,
+−
,
∃
− 0%% +<
−
,
%
4 +%
+% +
2 +0 3
0 ∃
#+ , ∃
∋0∗
<
!Α
∗
#
0
%
4 %
+
+,
1−
2
+
+∗
+%
Β
0
#
%
3∗
4 ∃
∀ +
!8
/ ∃
,0 +−
!:
) 2 +0 3∗+,4 ∃ ∗
/ −−
∗
∀+∗#% ,
, 2 +0 3∗
4 ∃
)
0 # + %
−
!
.
1
8
−−−+
%
9
∃, ∃ 9
% Χ ∃
%