! ∀
∀ # ∃∀ ∃ ∃ # ∃%#∀ &∋
( )%∀% ∗ ∋ ∗ ∀
+ %∗ # ∀,+ − % . ∃∗ + %∀
∗ % ∃∗ %
∀ ∀ ∀ ∀ #/ ∗ % 0)∗ 1∗ ∃ ∀− # ∗ ∗ − % # %
∀ % / /∗ 2 3)1∗4 +! (4 %1∗ 5 #/ +
% %#% +# ∀ #/ ∗ %
∗ % #/ +# % ∗ +%∗ ∀ ∀ + ∀
% ∀ % # % 64 4 +) %## # ∀ %7 % % ∀ %∗% ∗ ∗ ∀%∃∗ + ∀ #/ 8 ∀ ∀ ∗
∀ ∀ +∗ 9 ∀+ ∗ − 9
:; ∗ ∗#%#%#
∗ ∀ # 8∗8 # < %∀ =# ∀ ∀ >)∋ ∃∀ ∀ 4 +%∀#
, ∗
∀ # ?9 ( ∋( ≅ ∗∋ Α ∃∀ ∃ ∃ # ∃%#∀ ∗ / %∀% ∃∗% % ∗# % 1
% % ∗ ∗
Β) Χ ) % ∆ ∆,.7 %# %∀ /
∀ /
%# ∀ %
# −%% ∀ ∀ ∀# ∀ ∀
%%# %# %
∗ ∀7∗
=∗
∀
∗ #
∗ ∗ ∀ ∗ % ∗
∗ ∀ ∀ ∗ % ∗
∗ % ∗
∗ ∀ / ∀ ∗ % ∀ # Ε1 +% Φ 1 ∗Γ % < ∃∗ ∗ ∗ # ∋ ∗ ∀
+
% + ∗% ∗ # #
%∀ ∗
∀% ∀ ∗ ∀ ∗∗ ∗ #
+ ∀ # ∀
∗ ∀ ∀ # ∗
% %
% + ∗ % % % ∗
∗ ∗ ∗∗ + % ∀+ ∗ +
%− +
∗ − %∗ +% ∗ # ∀ % ∀ % ; ∀ − %#% ∀ % − # + ∗ ∗ % ∆% %7∆ ∗
∆ %7∆ ∗ #
7 ∗ 7 ; ) # + ∗∗ ∀
# < ∗∗<+< <ΒΒΒ<ΒΒΒ<03><<ΒΒ?<ΒΒΒ<# ∗∗∆ ∗ ;< < <∗ < < %<>6?Ε<&<8∗< <∗ ; ∗∗ ∗∗ ∀ ∗∗ ∗∗ ∗∗ ∗∗ ∋ >Β? ∗ + % # #% % # + +# 7
∀
# ∀ ∗∗ ∗
∗∗ ∗∗ %# ∗ % % ∗
+ ∗∗ ∀ + ∀∃ ∗ + %
7 #%;#
∗ %, ∗ ∗∗ . ∗∗# ∀ ∗∗
+ ∀ ∀
∀
∆∆# ∗
∗∗ ∗∗ ∗∗ ∀ ∀∗∗ %∗ # ∀
− ## # ∗ ∗∗∀ # +
∗∗ + # ∀
4 %+∗
# ∗% # %∀ ∗ ∗∗ ∗+∀ ## + ∗∗: ∀#∀# ∀# ∗ # + ∗∗ + ∀# # 9∗ ∗∗∀ #
% ∗∗ +
∗) Η # ∗∗ ∗ # ∗ ∗ ∗∗∀ ∗∀ ∗# ) )
∗ # ∗/% + ∗∗7 ∗∗
###
# ∗ ∗∗− ∀ ∗ ∀ ∀
## ∀ % ∀ # % ∗∗ % ∗# % ∗ ∀ % # ) + ∀#∗ + ∀ ∗∗ + ∗∗,. +,
# ∗ ∗ # + ∗∗ # ∀ − # + ) %# # # ∗∗ +∀%
∗ #/ ∗∗ % ∗∗/;# %/+
∗ ∗
∗ ∀ ∀%∀ ∗∗ ∗∗ ∗∗ + + ∀ %∗ # − ∗∗ ∗ ∃ % ∀ ∗ ∋
∋ + ∗ + ∗∗ ∗% ∗ ∗∗ ∗ ∗ ∗
∀ ∗ + 2 +− , ∗# % ∀ ∗ ∗ % ∀ %∗ % ∀
∗ ∗∗ ∀
∗ ∗ ∗ .Ι 8∗
+ + % ∀ ∗ ∗∗
% %# ++ %∗ +
∀∀+∀
∗
%
)9
% ∗∗4∗ %∀
)9
% ∗∗4∗ ) 9∗ % ∗∗ ∗ ∗ + % ∀ # % ∗
+ ∗∗ ∃ # ∀ ∀# % ∃ ∗ ∗∗7 ∀
# #% ∃ % ∗ ∗∗4 % ∗
5 %∆9 ∗ ∗∗∃ %∀
∗ ∗
∗ ∀∗ + # + ∗∗ + ∀ <∀ ∗∗ ∀ # ∀ ∗∗ # + ∗ % %∀ ∗(+ ∗
∃ 7 % # ∗ /
∀ % ∗ ∗∗ ∗ .7
∗ # + ∗4 , /.
∀8 % ∗ ∗∗∃∀ ∀ ∗∗ 9∗( % ∗∗ Γ # ∗∗ Η % ∗ ∀ ∗∗∀ ∗ ) ∗ Γ ∗ ∃ ∗ ,∗
∗ ∗∗. ( ∀ ∗ ∗∗ + ∗ Ι
∋ % ∀ ∗∗ +∆∗ ∆∀ ∀ + ∗∗ + ∀ ∗ !% + ∗∗ ∗ ∗∗ΕΕ∗ % ∗ ! ∗ ∗∗
=1 ∗## / 5 %∆ ∗∗# ∆ #
; + ∗∗ %% =∃ ∀ ∗ ∗∗ ∗ # ,# ∀
# % ∗ ∗∗ + # ∗ ∗∗
ϑ # ∗∗ +
#
∀ ∀ ∗∗
# + ∗∗ + ∗
∗∗ %ΕΕΕ # # % ## # ## # ∗∗/
∀% ∗ % ∀ ∀ ∀ ∀ ∗ 8∗ ∀%∗ 8∗ + +∗ ∗ +∗ Κ∃Λ∃Κ2∃Λ − #%∃Κ1Λ ∀Κ + − # ∗∗ ∗∗ # ∗
∀%∗
∗ ∗∗ % ∗∗# ∗∗,. +, ., # .,., # + ∗ % %∀ Χ +/ Η ∗∗∀ ## % ∗∗∗ 2 ∗ ∗ # ∗∗ ∗∗ ∀/ ∗% 5 + ! + + ; ∗ Α# −% # +∗ ∗ ∗
∗∗∗
%∀ ∗ ∗∗ # ∗ % ∀
∀ ∗ ∗∗ # ∗∗ ∗ ∗∗ ∗∗ ∗∗ ∗ ∗ ∗ ∗ ∆Η+ % ∆∆+% ∆∀ # ∀ 7 +
/ !
∀
# ∗ ∃+ ∀∀# ∀ ∗ ∗ΕΕΕ +
% + ∗
%# # ∗ # + ∗ ∗ ∗∗ +#% # ∗ + ∆∆ ∗∗/
%∆
∀# %∆
∗ ∗∗/ / %∀% =∗
∀
∗ #
∗ ∗ + % # + ∗∗ + % # ∃ ∀ ∋
% # ∗ #+ + ∗∗ ∗% − ∗ 2Μ:ΝΟ22ΜΝΟ2 ∆ # + ∗∗ ∗∗ +∆ +∆2ΜΝΟ2 ∗ #7 ,∆4 ∆ ∗
∗ ∗ ∗∗ # #+ ∗∗∀ ∗∗ ∀ %, ∗ ∗∗ . %# % ∀ Γ
∗ ∗ + ∗∗∃
% ∗ # ∀ ∀ ,# % +Α % ∀
% ∗ ∗
∀ ∗∗
∋ %
∗ − + ∗∗ + + 7 ∀
+ ∀ % + ∃ ∗ ∀ ∀ ∗ Γ 7 ∀ ∀+# ∗ ∋ 1 % ∀ % ∋
∗
∀ # # + ∀;; ∗ − 5 +∀
∗ # ∗∗ ∀ +
∀ ∗∗ ∀ ∗ 1 ∗ >Β? %= Γ ∀ ∃:<< %
<< ∗∗ # ∀ ∗∗ ∀ ;% ∀ ∀∗ ∗∗ ∀ ∗ ∗∗ ∗∗ ∗
∗ ∀ ∗ # # ∗ ∗∗ 9
% ∗∗4∗ ∗ .∋ ∀#
∀# % ( ∗
) ∗∗ + % − ∗ # + ∗∗ ∗∗ % ∀ ∀ # ∗ ∗∗ % ∀∀ Φ ∀+ ∗∗ #
; =) ∗∗
# % #
∗ %, ∗ ∗∗ . ∆ ∀ + %∆2ΜΝΟ2∆ # + ∗∗ +∆ # ∗ ∗∗% ∗∗
# ∀
+ ∗%% ∗ #% ∗∗ + % ∗
+ ∗∗∀ ∀
+ , /. 4 1 Φ
1
% ∀ # ∗∗ ∗ ∀ # ∗∗ ∗ + ∗∗ ∗∗ # +∀ ∗
∋ ∗
∗ + ∗∗ ∀ ∗ % %
∀ ∀ ∀. ∀ ΜΝ #%∗ ∗#∗ ∆ # +%∀ ∗∗ ∆
+/ +/ +/ +/
∗ +/ +/
∗
∗ +/
∗
∗
∗
+/ ∗ + % ∗ + % ∗ + % +/ +/ ∗ + % ∗ + % +/ +/ +/ ∗ + % +/
∗ +/ ∗ + %
+ ∗ ∀
∀
% # # +%
# ∀ ## ## ∀ ∀ ∀
#
∀ # ∀ ∀
# # ∀ % % #
+ ; # # − %# # ∗4 ∀ ∗# ∀ # ∗# ∀ % ∗∗ # +
∗ ∗
% ∀# # ∗ ∀ ∗
∀ ∀∀ % % # % # ∀ ∀ 4 ∗ Ι +# # ∀
#/
∗ ∀%∀ % %∀# # ∗ ∗ % ∗ − ∀+ % ∗ ∗ / 4 ∗ : ∀ / / ∀ % % +% % ∗ ∗4 ∗
∗ % ∀ % / ∀∀ # ∗ +% ∗ #% +% #
∀ ∗ ∗ % ∀ ∀ ∀ ∀ ∗ ∗# + ∗ # ∀ ∀
∀ ∆ ∗ ∀∗
∗#∆
∗ # #∀ − ∗+
∗ ∗ − + ## ∀ ∗ +
∗# # ∗#
% ∗ # % ∀ ##
% ∀% %+ %+%∀%
∗∗ % +%∀ # ∗∗
+ ∀ ∀ ∗ − # ∗ ∗ ∀ ∀ # :+ +%∗∗+%+ ∗+# +∗ ∗ : # 1
∀ ∀
∀ # %
+ + ∀ ∗ ∗ ∀ # /
%
∗∀ − +%% ∀ ∀ ∀ + ∀
∀ + %∀ % +
∀∀ #
+ ∀ % ∀ ∗ +∀ ∗ # ∀+ #
% ∀∀ % ∗ ∀ ∀+%∀ ∀ # ∗ %∀+#
%#
∗ ∀
∗ ∀ %+% ∀ ∀+ ∗ # ∀∀ +∀ %
∀∀∗ ∀+ % ∀+ ∀ ∀ ∀ #/ + ∗
∀ #
∀
+ ∗ ∀ ∀ +∀ ∀ ∀ +∀ ∀#
∀+ ∀ )Π)∀ ∀+ % ∀∀ ∀ ∀ ∀ +∗ % ∀ ∀+ ++ ∀#∗ %∀ ∀∗ ∀
∀ #
∀ ∗ ∗∗ ∀ % ∀ #% ∀ ∀#% +∀ ∗∗ # % ∗
# ∀# ∀# ∗ %∀
∀ + ∗∀ ∀ ∀ ∗ ∀ ∀ ∗ ∗ ∀+ #∗ ∀+ ∗ − #/ ∀ ∀+
∀ #% ∀#
∀#
∀∗ ∀ ∀+ ∀ ∀ ∗ ∀∗ ∀ #+%∀∀ ∀ #+%∀∀ ∀ ∀ ∀
∀ ∀ ∀∀ ∀# # ∀# ∀ ∀# ∀# #
∀# − ∀ # − ∀# ∀# # ∀ ∗ ∀ ∗ ∀#%2 ∀ % ∗ ∀ ∀ ∀ ∀ ∀ ∀ ∀#
∀ ∀% % ∀ ∀% % # ∗# ∗ + ∀% + ∀#
+ #
∀% ∀ ∀% ∀ % +∀ ∀% % +,∀ ∀ .
∋ =2
∋ = ( % ; ( % ; ) ∀%∃∀ % ( % ( % ) ∀%∃ % ∃ % ( %# % ( # % ∗%# % ( ; % ∗ + ( ( % ∗ ( % ∗ ( %∗ %# ∗ %# ( %∗%∗%+∗ ( +%∗ ( % ∗ + ( % ∗ + % + # % + ) ∀%∃ ) ∀%∃+ ( ∗ ( / + ( + ∗
∗ ∗ ( + ∗
∗ ∗ ( ∗ ∗
( + #/ ∗ ( ( # # ( ∗ ( % % − ( % %− ( + ( ∗
∀ 4 ∀ ( + ( ∗ # + ( ∗ ( % % % (
%
%% ( ∗ % ∗ % ( % ( % % ( % ∗ :∀ % % % 4 % :∀% %% %% % ( ∀ # ∆# ∆ ( ∀ Ε# ∆# ∆ ( # # ( ; ( %# ( ∗: %: % ( ∋ + 9∗ + 9∗Ε + 9∗% + ( % ∃∗ ∗ % ∋ 2 = ( % ; ( % ; ) ∀% ∃ ∀ % ( % ( % ) ∀% ∃ % ∃ % ( % # % ( # % ∗ % # % ( ; % ∗ + ( ( % ∗
( % ∗ ( % ∗ %# ∗ %# ( % ∗ % ∗ % + ∗ ( + % ∗ ( % ∗ + ( % ∗ + % + # % + ) ∀% ∃ ) ∀% ∃ + ( ∗ ( / + ( + ∗
∗ ∗ ( + ∗
∗ ∗ ( ∗ ∗ ( + #/ ∗ ( ( # # ( ∗ ( % % − ( % % − ( + ( ∗
∀ 4 ∀ ( + ( ∗ # + ( ∗ ( % % % (
%
% % ( ∗ % ∗ % ( % ( % % ( % ∗ :∀ % % % 4 % :∀ % % % % % % ( ∀ # ∆# ∆ ( ∀ Ε # ∆# ∆ ( # # ( ; ( % # ( ∗ : % : %
( ∋ + 9∗ + 9∗ Ε + 9∗ % + ( %
∃∗ ∗ %
#/
#/
∋ == 2
% % ∗ ∀ % #
+ + ∗ % ∗ #%
∀ ∀ ∀ ∀ %
∗ + + / / / # # # ∀ ∀ ∀ ∀ ∀ % ∀∀
∗%
∗% %
+ + + +