!
∀#∃∀
%&∋()%∗((+,(−.
/ !
0!&.∋11222!1121
2!%−−3,)+ ! 2!
!3&∋2∋ 4
2∋∋2 !!! !
2∋! %%
∋0 !
∋2! 02∋
∋∋ 22
52∋∋∋∋5
22!2!2
22!
#
∀%∀%.6
%&∋()%∗((+)7+.
/∃ !
0%#% 5!25
02%8∋∋!
5!∋0%∋
9#22∋
:!%2!
∋%2!
;28∋!∋<0
∋ ∋ 5%∋
25 !2∋ 25/!
2
/202 %
5 5
02 22∋
0 !!%.6
∀#∃∀
%&∋()%∗((++∗(.
/∃∃ !
!)((∋!!!
0
=(∋3=
∋ 2∋∋∋%%
%&%2>?
≅2 3∗370
2 ∋∋
∋ #
∀≅%.#
%&∋(+%∗((+∗∗7&
/ !
##%
Α ! 2!ΑΑ
Α
4∋92
∋!
; %%∃2 Β!90 %
ΑΧ∃Χ∃∀∃∃%ΑΑ#%ΑΑ
∃Α<
3)−∋%∗−−;∆337!∋
%0∋<
∆3,Ε5!
Ε∋!∋∋∋Φ
!3,7%!73
!∗ΓΓ%!33
Ε∋!28%! Φ
!33−%!,+
!∗7Γ%!,3
Ε∋!∋!
20Φ
!37,%!7Γ
!∗=Γ%!∗3
Ε0/! Φ
!37=%!7∗
!∗Γ3%!3Γ
Ε∋!∋/%∋
!!∋∋Φ
!3,3%!∗,
!∗=+%!3Γ
∆3=Ε5∋2
Ε!: !Φ
!37Γ%!7∗
!∗Γ∗%!37
Ε!∋ Φ
!37−%!7(
!∗=7%!∗7
Ε!2∋!
2Φ
!3∗+%!7(
!∗=7%!∗7
Ε∋/!Φ
!37(%!7∗
!∗ΓΓ%!3(
Ε 0Φ
!3==%!3+
!∗Γ+%!−
8!2∋!:%
3Γ∗,%
≅06.∀%2Η∃%
Α&!;2!∋<2!5!5
∋∋! ∋ 8∋2
Α
%2∋Α!5Α∋Α!5Α
!∋∋3(3
.
∀#∃∀
%&∋(+%∗((+)3(&
/∃ !
4.!2
8∋:& 2
∋ 2∋
8 ∋∋∋∋%
21∋∋
%: 2∆3,
∋&!0:
20!2>
∋%!∋∋
2 2∋∋∋90
Β ;<2!!
0∋>2 !0∋!
>∋%!#0∋∋
∋ %2%!!!%∋>
520 !>#
∀#%6
%&∋(+%∗((+),7&
/∃ !Ι
2!% 2
∃229∋2
!∋∋#∀
%∋∋!∋!
!!!%2!
∋ %!∋ Α
8∋Α!&∋∋:∋
20!!
!∋%22 %2
∋∋!!0
!%!2%!%
∋2!%∋0!!
2!
;%ΑΑ%
∋2!2.%
!∋∋∋!∋
Α2∋Α%!∋
∋∋ ∋∋2∋
2!<
ΑΑ% 2Η
∋ !!
% :!
Α :Α:8%%
Α!8∋Α% ∋∋
Α∆Α;!0<! ∋∋
Α!Α/
!!
9%!:
!Α!Α
∋% !!
2∋∋!%∋∋
/!∋!∋
! ∋%%∋
∋≅.!ϑ ∋!
∋!∃;2
< ∋2 ∋!% 20
2 2!∋%%
!!∋Α∋Α
22!∗((( Α
∋Α∋∋2 ∋%
2 ∋∋5 Κ.&&∋
!∋% ∋ :>
∋2
2!2
9!∋%#5∋ !Η
;&%3((Λ!2#%.∋6.
2∋∋% 2!
!90Β !∋2!
! ∋
∋90Β !∋0∋%!
!∋2∋∋5!
∋∋ <
∀Μ%#
%&∋(+%∗((+),)&
/∃ !
2!! 9
0295≅2∋/
2!∋!.∋
;0%5∋!0
Ν<2 2%2
.0∋; <
252%
! ∋!%!%∋∋0
2220!
/!!!!
!0:%
!/2
!2∋20
200
22∋ !!%!
2
!%2 5%
8∋∋ 2
∀ %
%&∋(+%∗((++3−&
/∃∃ !
0# !∋!∋2
8
3<!∋∋!!
Α)((∋!!!0
Α
Α=(∋3=
∋ Α
!&.∋%2
22
∋∋∀%:2
∋8!∋
2%2∋
0∋% /#
022202∋ 2
% !≅22
>
∗<Α?≅Α
502% 2
2 %∋!2
!3<!!28∋
%!!
2Η 8
%!%∋%02
∋22!2
;<>
2 212>
7<Α2 3∗370
2 Α
2∋
&<2 3∗37
5022 37
∋∋0∋9
22!22
9<3∗370 2
02
2%2
∋∋∋2
#
∋≅22>
,<: Α&%2
>Α
0:2220
8!!2!%2!
≅%2∋%∋!2%22
! ∋
9#222∋
50% ! !
!
4%
∀∃
%&∋(+%∗((++∗=&
/∃ !
!% !2#5
∋0∋: !
∋∋#5!%!
∋%:!∋%!
!#%2
!!!2
0% 20 %∋
∋0∋!
& ∋∋#52 !%!
∋111201==173173((3(3
2∋2! Α#2%!
#∋
! Α
∀#∃∀
%&∋(+%∗((++7Γ&
/∃∃ !
& ! %∋∋ ≅2
∋092∋∋
280 ∋
% %∋%#
∀∃∀Η
%&∋(+%∗((+3(∗7&
/0%
0∀2!2;2<
20!22∋
!90Β ∋!67(%∗(3(;8
<%2 ∋∋Ο37%−)=%∗)−2
6.!;∃∋<∀ 3%∗(3(
∋∋Ο3∗!8
Ο3∗%(((%(((! 2
∀2!2 2∋28∋
3Λ82 Ο3∗(%(((∋!
67(%∗(()%∃∋2Ο∗(∗%−,+;
Ο+7%=+3!Γ17(1∗((−<!∋
2 ∋ ∋
∋∋%
% !!!∋ !8
#0!2 ! !>
.%01%
00!%∋
0!;∋!∋Π3<%∋∋!
%/∋!8
!∋ !! ≅2%
0≅280 /
∃∀
∀≅
%&∋(+%∗((+3(∗=&
/∃ !
#%
∋
∋!%
∗((+%2 ∋
∋2
∋∋2!8∋!
.∋6.!%∋
2∋ 2%
220%2!22
!!!
& !!8∋∋
∋∋∋ ΑΑ
%2∋∋ !2 %
∋.∋&.∋6
.%!?5%/∋
%%Α!∋Α0
#≅
∀#∃∀
%&∋(+%∗((+3(77&
/∃ !
!∋∋∋∋∋
2!≅#
∀%∋
%&∋(+%∗((+3(7Γ&
/∃ !
#%
∋:
& 8∋#∀2>
∋∋2 !>
!∋22 !#∀>
!22∋2
! !% !8>
!
820%!22∋∋
:%∋∋: !
#∀!∋!2!%>
2#∀∋∋>
Β%22∋∋2!
22∋#∀>
∀#∃∀
%&∋(+%∗((+3(,∗&
/∃∃ !
0 !0252∀4
∋∀0%#
∀ %
%&∋(+%∗((+3(,,&
/
∋∋!5022
∀2! 2!
%2!∋
3< ∋∋
%2 !
∋2∋!
2∋ 2!%
%9 ∋
!2
∋∋ % ∋
∗< ∋∋/!
∋∋∋∋08∋
02!∋0
!2∋∋∋ !
!?∋∋
≅2 8∋!%
∋∋%8%!2
!2∋2!
9∋∋∋!!∋%% ∋
7<55 2∋
92!2 /!∋%
∋%8∋22∋%∀%
!%!2
∋%!% .∋%%
5 !!
∋∋
∋!∋% 2
≅
4%
∀#∃∀
%&∋(+%∗((+3(=∗&
/∃
0∋402
#
∀0%≅60
%&∋(+%∗((+3(=Γ&
/∃∃ !
#!%
2/ 2 2
9!!2.65∋!%%.%#%
∃5&!!Η !
% 2∋2!∋
%%!∋2∋2
∋20∋!&25∋!
%5∋!!∋&2&Ι
%?!5Ν
9%
≅
∀#∃∀
%&∋(+%∗((+33(3&
/∃∃∃ !
!≅ ! 2#
∀%∃
%&∋(+%∗((+3337&
/!
#.∀%
∋%2!
Α2∋∋∋%%%Α
!∋ %0
!20
∃%∋2
% Α∋%ΑΑ%ΑΑΑ.8∋
2!0!!
.%∋!222
!%∋ 2!%
%%Α∋%ΑΑ%ΑΑΑ
∋!>!%
%2 ∋∋∋
%
∃
%
∀#∃∀
%&∋(+%∗((+33=+&
/∃!
#.%∋2!2
∋: 24
%∋∋∋
.
%%
! 2∋∋
#∀%.
∀0%≅60
%&∋(+%∗((+3∗(3.
/∃!
#!%
!∃5∋:#%Η
∋29ΑΑ%Η
20!∋2! !∋
∋∋∋!Η!2∋
&0%0∋0
8∋02!22!!22
!ΗΑΑ!%
∋%2!!!2
!!∋!%∋2%
∋ ∋ &2
ΑΑ2∋ !0%∋2
∋ !∋2%22∋
!
4%
≅
∀60
%&∋(+%∗((+3∗37.
/∃
&0!%;3<!
;<;∗<11 !
0%%∋
9∋ !22
;2?<2%∋
!9 ϑ5∋ ?;
?5:<!∋∋9
!∋8∋
2
∀!8∋!?%
∋∋ 2%6∋∃Η!;0.∋9ΘΚ<%
Ρ9!!&!∀Ρ
2!∋∋2;<ϑ
:0≅∋ 9%2 !
0
∀#∃∀
%&∋(+%∗((+3∗∗(.
/∃!
..42∋: 2
Α2∋∋Α ΑΑ%
Α!Α%#∀%.
∀%∋
%&∋(+%∗((+3∗73.
/∃!
#!%
!
3∋!∋
∗!! .≅
∋ % !%
2!
7∋ 0!∋!
!
,8∋2!%
=0 8∋%∋
# !>5 %5
∋∋4258∋∋ %
!%2%!% .∋
∋∋∋%! 5
∀%∃
%&∋(+%∗((+3∗7∗.
/! !2!
.∀%
!4!!
%∋ 42
∋∋% 2∋ Α∋∋ΑΑ∋
%%%Α!!
0!! 0∋2
∋∋ 0∋
!%20!∋
!!! Α∋∋ΑΑ∋
%Α Α%Α∋ΑΑ!
0&Α∋∋Α!ϑ∋∋
%/%0! !
!2!%22
%
∃
∀#∃∀
%&∋(+%∗((+33(.
/∃! !2!
.∋ ∋
2∋∋ 22;2<!>
#
∀%∃
%&∋(+%∗((+3∗).
/∃! !2!
.∀%
2!!!Α∋
%%%Α!
!%% !
& ∋ 2% % 2!0
0∋%/ ∃
2 2!2/!
Η220
422∋%
∋%
∋∋!!!%22
%
∃
∀#∃∀
%&∋(+%∗((+33∗.
/∃! !2!
!!!!#
∀≅%.#
%&∋(+%∗((+∗,(.
/
2;5∋<
∋5∋%!
∋∋! !!∋ ≅
.Θ%6.%2!
42ΑΑ5∋
.
∀ %
%&∋(+%∗((+7,3.
/∃
∋ !Α5
∋Α%≅?.202
2∋
6.%∋.∋ !!22!
5∋&! ∋
!Α5∋Α!
∋.∋ 2
∋ 2!
∃/2
5∋∃/Κ52∋∋
!!∋!;5!
<
&%∋
∋2 8∋
≅?2!
∀#∃∀
%&∋(+%∗((+,,=.
/∃∃! !2!
.0%%!
:2Α2∋∋∋%%%
Α! !
0∋!
∋0∋∋Β ∋∋
! !3(3=!%
2
200!∋∋
22!/%2
8∋
!#0!∋∋Α!Α
∋%%!!>
.0∋2∋∋Α!Α
≅ 5!
∋%#∀%
.9∋ !!∋∋22
2∋∋ !! 2&
!!!!5∋2Ν
∀#%6
∀%&∋3(%∗((+)7Γ&
/∃%%
8>.∋!∋2
∃>. !
ΑΑ∋!!%22
22! !∋!
%2%%∋22%
%0∋%22:
22 ∋2%%!
%Α 8∋Α% ∋
Α2Α% Α!%∋∋%
8Α8%% 8
Α/ΑΑΑ
∀ %
∀%&∋3(%∗((++=∗&
/∃%%
#∋ ∋ .∋%/!∋
2:2
/!! .∋
3<∋∀%
∗< %2
%7< 2
∋∋∋ .∋5 !
#5∗((− 0; 2< % 52
∋2 ∋!!
∋∋
02
.∋ 0Α6ΗΑ! 2
∋∋!2!.∋0!
∋ !! 2%2:09
.∋5∋ !%2
!0∋!!!
.∋0!2
∋92
∋!!≅?
2∋!! ∋
2! ∋
∋
∋0
∋∋
.∋ &%2∋!∋!
∋%2∋!∋!≅∋
/
≅5/0∋2!22∋%
2∋2 !
∋ !<0!
2 !2% <!!
!2 !2%<
!∋!∋!!
!!
∋2∋ 8
2!% :
92.∋∋∋ !% !∋
∀2% #5∗((− 0
!928∋! &#%
Α!?∀Α
4!20∋
Μ2∋∃
2 %
∋112222!11(−−+(
∋112222!113∗∗Γ(ΠΚ
4%
∀#∃∀
%&∋37%∗((+3(33&
/ %%∋∋
#!
2! ∋∋
38!
∗!∋!∋∋ !3.#
∋
7 ∋
!
,0 !∋∋
2!
=∋!22∋& !
∋0?∋!0∋
∋∋!
Γ&∋! 2 !!&
?2;!,(79 %
%<2
.8& ∋?≅
−∋ !
!∋≅
#∃∀%.#
∀ %
%&∋37%∗((+3(∗=&
/#.2 6>
50222#∀5%!
2∋
.∋
&%2 ∋ #∀
3<.22
2
∗<#22
2
2!. 2
6##>
∀%
%&∋37%∗((+3(7.
/∃%%Ι5∋
∋∋#52!∋∋5/∋
5∋
∋∋2∋
∋0∋
∃%∋%
2 0%!
% 2∋∋
∋!Η0!% 2∋2
2
,,(+
.∋
∗(%Μ3Γ%
7(∋
∋∋
2∋∋%Β ≅≅% /≅
/≅ 8
2.∋%!%
!!2∋
!&
!%1!
20%22
% !9!∋2
2%
/2&2!
!2 /
∋∋!%2 20!!!/
!% 2.≅Β≅!
2!
!∋∋
≅;+<! 20
!∋/∋
!/22 !%
!0!∋!!6Σ
/%6
.≅Β;Γ+<∋∋20%!
∋∋/%∋;!%
%<.∋≅.∋∋
∋!!:
.≅Β%2/
?Β;Γ+<∋%8?Β
2/
%! /% !
/∀∋%! ∋
8Η!∋ ;<∋!%
%%≅2 ∋!;2∋
/% !!<
Κ&Β&&0Σ%
!!!% ∋
2!2
%228∋0!∋
.≅Β%≅%?Β%0
/#∋%2/ /
%2
%/%.4%%2
∋∋0!002!2∋!∋∋
2∋ 2!
2Σ∋ /90!!
/%.≅Β%≅%?Β2
0∋∋!2
!2%
2≅%≅!%
Σ#∋≅Σ!2%
2!!#!!/
22 !∋∋≅!
2!2
∋2!!
∋2Σ∋ 2
∀%∋∋ 2&2
∀#∃∀
%&∋37%∗((+3∗=.
/∃%%Ι5∋
0∋∋92∋!!!!
!∋∋! Γ!
+%722!∋!!
:Γ&2∋
#
∀∃
%&∋37%∗((+7∗−.
/∀2%%Ι5∋
20∋∋ #∋∋
0∋ !!!!
!∋∀8∋%5!!
∋∋ 2!∋∋5
!!%2∋∋/2
5∋∋∋∋
!!2∋%5∋
2
2%∋∋
∋ 52∋
Α/Α022!
22∋!!∋ 52!