47 downloads
495 Views
2MB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
!∀#∃ %& ∋( ∋) ∗ (+, − ./ ∋&0 ∋%&&∀
& ∋ /& %∋ 12& 1 & ∗1∋ , + (3 4 1, 5 6%1 1+7 ∋ 1 8& ( 9 ∋ ∋& :∋ ; , 4 ∋ 3 ∋ )/2 ) <& 1∋ , ∋4 ∋ = ∋ & > & & ∋ : ?& 31 =2∋ &= ∋ ≅ ∋/& )∋ ∋ 0& ≅ & &=∋ ≅ ∋ , +2)& ∋ 9 ∋ ∋8&)& ∋Α 1 1+( Α ∋ & ∋∋ , ∋ &= 4 1 ∋ ∋ & 9∋Α ∋8& Β
26∋ ∋ 3 1)∋ Α ∋( ∋ Χ ∋ = / , + ∋ //Α ∋ / ∋ & ∋ = =3 ( ∋ ∋/ & & 6&) =,
! ∀ # ∃
#%&& ∃! ∋ ( # &# && ) # ! ( ∗ ! ( ! + ∀ &#∋ ,# ! #&# ∋ # # &# −+ ( ! % ∃( ! ∗ ! #∋ ## # ! ∋ # −+ #! ∃ ∋ # ! ! ( ! .
# ! ! ∗ ! − ( ! ∋ # ! # ∋ ∃ ( / &# 0 ∋ # # ∋ ! 1 &
! 2( # ! ∋ # / ( −+ ! ,# ! ∋ ∀ 3 −
! ∋ ∀ ( ! ∋ / ∃ ∃ / ∋ ( 3 # ## ! ∀ &# ! ! ∋ ! # &# ! ∋ 2 &
− ! ∋ # ( ,# 4 #
∋ )5 5 ! −
!
&∗ 3 # ∃ ! ∀ ! / ∃ ∋ # ∋ ∃ !
∋∃ ! ( ∃ #
/ # 6 & ! 4#( 4 ∃ # ( ∋ ! ! ∋ ! 2 &
− ∀ ( & 3! 4 ∃∋ # ∗∋ # ∋ 2 ∋ % ! ∀ # ! 2 ! ∋ ! ! # # ∋
∋∃ && # #( & ∋ % ∋ 3 ) # ∋ ! # / ∃ ∃ # && # % ∗ ## ( #∋ # ∗
− −+ 1 ∋ # ∀ ## ! % ( ! # ! ∋ ## −+ ! ! % # ! ,# # 2 ( ∀ &#( ∋ ! ( ! % ! #
! ( # # ! 3 ∋ ( ! # ! # ! ∀ &# ∋ & −+ ∋ 7 ( # ( / 2 −∃ ( # ! # ( ) # 8 2 ! ## ∗ ) 7 ! ∀
# ∋ ! ∋ . ! 4 ! ! ! ! ( & ∋ ∃ −+ # 9 ∗∋ ! ∋ ! # ,# ! ∋ # ) ∋ ( ∋ ! 3 )5 5( % & # ! ∋(
∋ ! & ! ! − − ∀ &# ∋ ( 0 2 ! 0 ( ∋ ∗∋! ∗ ∋ # # ∋ ! ## 9 # ∀ # ! ) . ! − ,# ∋ # ! −
) )5 5 ! # )( && ∋! # 7 #∃ ∋ ( &# ! ! # ∋ # ( &#& ! −
∃( 4#− ( # −+ )) ∋ )5 5 ! & #−
! ∋ ! 2 ! ∋ )∋ 0 % −
# / 2 # ∀ ) ! ∋ ∃# ! ∗ ( ∋ # &&# 2 ) ! / # ! # ! ! − & ! #
∃ # ( # −+ # # ( 9∋ ( !∋ #∋ )5 5( # ( &
# , # −+ / ∋ # ! # −
(
∋ ! 3 ( ) ∋ ∋
∗ 3 # ∋ ∃ ! −
∋ ! ∋ )
# # ∋ % ∗( ! ∋∋( . ( # ∋ ! #( ! ##! ( # ! −∋ ( ! ∋ ! ! # ( 0 2 ! 3 ( ∋ # 3 ! # ) 4 #∃ # ( ∋ # ∋ ! 2 :& ;∃ − # # 7 ∋∃ ( !% ! −+ ∋& ! −
(
&# . ( ∃&# # 4 # # # −+ ,# # ∋ ! ∋# ! & 4# ∗ ! 3 ( # / . ∋ && ,
&# −
∃ ! ∀ &# !∋ ! − # & ( ! −
∋ ! ∋ 2 ! ! ∗∋ ## !∗ 2 ∗ − # ! ( −
∋ ! ∋ & & ! −
∗∋ 2 2 2 ∋ 4 # −+ #!
! 0 ∋ ∋ ∋ ,#∋ ( #! ∀ &# ( #∋ # ∗∋ ! # ∋! −+ ∋# ! − ! ∋ &∃∋ ! ∋ . ∃ ! 2 ∀ &&# #∋ − # ( # ∋ % & ! ∋ #∃ ) ! −+ ! ( 3 &# ,
&& 4 ∋ ∃ ∃ ∋ ! ∋ ∋ ∃ ! # 2 ∋ ! − ( ∋ 2 3 ∋∃( <
# !
& ∋ ∋ 2 ! ∗ − ! ∗ # ∋7∋ ! ! % ( 0 ∋ 4 ) % ∃ ( ! −+ ∗ ) ∋ # = 4 # ∀∃& ! # ∋ ( ∋ ∋ ∋∋ 2 #∋ ∋ ! −+ ! ∀ &# ( 3 ∃!
! # −+ 9 # ( ! − / !# 3 # # ! ! # > ∋ −∃(
! −∃< ! # − ! ( ∃ ( ! # # 7 −+ # ∋ ! # #∋ 7 ∋ ∋ ∗∋ ! 2 2 ∋ −+ # ! ∋ # 3 ! ∋ ∋ ( ∋ − ! & −+ ( ! !∃ 4 ! ? 3 ∗∋ 2 # ∋ #! ∋ ! ∀ 4 # ( ∋∋ ! ∋ ! #( ∋ ∋ ∃ & ( & ! &∃∋ # ≅ #
∋ ) % # −
∋ −+ ) # ∋ # ( / ! ∀ & ∋ ( # 7∋ ! ∋ ! − ) ∋ ( ∃ ∃ ∋ ∋ ( ∃ ! 4( & ∋ &# −##( ( ! ∋& < 4 # ∋ ) #! −+ ∃ ! ∀∃& ! 2 & ! −+ ∃ !∋# :?;∃ &∃∋ ∀ Α ( −+ # ,# ! −+ ! % & # 7∋ % & 0 ∗ ∋!
# ! # ∃ ! 9 !
# ! ∀ # & −+ ! # # !∋ ,# # ∋ . &#! ! ∋ ( # 7 ( # 9 # ∃ )∋ 4 ,# &∗ # )5 5 ∋ ! ( ! # −+ ,# % &( − # 3 ) ! ! #
# & −
( ! 4 ( ! ∀ ∀ &#( ∋ ∋ &# ( < ! ∋ (
! ( & # ∋ ∋ ≅ − 7 ∃ 4( ∋ 2 ! ∋ % 2 ( #∋ ∋! ) ∋ ! # ,# − ( ∗ ! ∋ ( ! ∋ ! & ! ( 7 ∋ = # && ΒΧ< Χ∆ ∗ ( ) ! ( ! ) 4 # &&( % ! −+ −+ ! ! ! ( , ∋ ∋ ∋∋ # −( # ### ! #! ! ∋ ! # ,# # ∋( ∗∋
∀ & ∋∋ . # ∗ − # ∋! −+ ∃ 0 ∀ &# ! Α & ∃ 9 7 ## ! / !
# − ∋ ( ! # ∀ ∋ ! Ε Φ 0 ! ! ∋ # ! # ! ∀ &# ) !∃ ,∃∋ ( ! ## ∋ ! ∋ ( ! # ∋ # ! ∗∋ 4 − &
# ∋ ,# ( −+ ∋ ! ∀ &#! ∃ % ( 0 # ! !
∋ ( ∋ &
Ε ∗ . ! ∃ ∀ &# ! −+ # Α## ∃ ∋ ( ! # ( ∋ ∋ & &#
#! ∀ &# ( ∋ && #! ( # ! −+ −! # ! ∋ # ∋ ( ! ∗∋ − ! ) # # ( ! ( ) ∀ ( = ∀∃& ( ∗ / ) ( ∋− # # − ! && ∋ ∋ − ∋ ! ∋ ( ∃ ∋ ∋ ∋∋ −
& ( 3 ! − ( # %
! − ∋ ( ! ## # (
) ∋ 3 % #
# ! −+ ! − ( ! ∃ ! %&& ! ∃ ( ! 3 ! %# ! ∃ : ΓΦ; # :−+ Γ ;! ( : ( ∗ ! #6 % 1 9 ! )5 5 ; :3 −+ ! ( # ; −+ ∃ : # Φ; : ;!
3 : ! ; : Φ; :2 ! ∀ . # # #; : ∋ −+ ; : # ! ∋ . ; 2 −+ ∃ # ! ! ∀ ∋ 4 ! ! # ∋∗ ∋∋∃ :∀ Φ;# :∃ Γ? ∋ ! −+ ∋ ( ## # ; ( 4 ∋ −+ ! ∀ ∋ #0 0 ! ( ! 7 % ( # & !
∀ ! , ! # ! ∋ ! ∋ ! ) (
# !∋ 9 ( ! & −+ ∀ ∋ . & −+ & & & & ! − .# ( ∀ ( / ∃ 25 5 ! −+ #( # ! & ! −+ ! / ∋ 25 5 ( ! ∃ 5 ! −+ # ( ! / ∋ ! & ∃&( # & ) 3 ! # . − # (
! 9 # ) (
!7 ∋
# ! ( 4 # # ∃ 7∋ ! ∋ # / ∋ ( & ! ∀ ∋ ( ∋ ∃ ( ) 4! −+! # 7 ∋ ∃ ! ! ∋ 4 ∃ ! ( ! 7∋ −
# ! ## !)∃( > ∋
# / ! ∋ − ) ∋ 4 ( ! ( ) ! # 3 5 & # ) ! # & 0 ! ∗ 2 ( ∋ ! # (
# ) #∋ ( ( #∗( 0 ∋ ) &∃ ! ! ! ! # − ( ! ( ! ∃ −+ / ! ∋ ∗ # ( , ∋ ) ) ∗ ! ( 7 ∋ ! ( & −+ ! # 7 ∋ ( ∃ −+ ΗΙϑ∆! & # ΒΧϑ!Κ , ! % & ∗ &
7 , &∋ ( )∃! ! # 6 ∃ 0 ∋ ∋! # &∃ ( # ( ∋ ∋ !
2 ∃ 3 % ! ∋ #3 5 ( ! # ! −+ ∋ ! ∋ % 3 # − ! ∋ & # ∋ ∋( ! −+ ∗ Λ ( , ( ∋ #% ( & # / ∃ ( 7 ! ∗, , ! , ( # ( ! # ∗ ! ( # ( ) ! & #6 −+ ∋ ! ∀ ∋ # 25 5 ,
#∋ ! ∃ ( ∋ +∗ −+ & ) ( & −+ ( # # 7
) # ∃ ! / # & ∀ ∋ , #25 5 ( ! #! &
# %
#3 5 2 ( ! 3 % #! # ! ! ∃ ∋ ! ∃ ! # ∋ !∋ 7 ( ! # ( ! 3 # # /( 3 # ! ∀ ## # ∀ && ∋ 7 ∋ ∋7 ! , !−+ ∀ # − ∗ ( ∋ ∋ −+# ∋ ! − ∋ ΒΧϑ( , ! ∀ &# ! ∃ ∋ # ( ! ! ∗ 4
# ( ∀ ( − ∃# # # 6 ! # / ( # 2 ∀ ( ∋ 4 ∋ & #∋ &# ! #∋ ( ) (
&&( ! −+ ) ! &# ( ! 3
& ! # &∃∋ ! # % ! ( 2 ∋ & ∋ −+ / & #∃ ! ) ! 0 − # ∀( ! # % & ∋ ∀ % & & 4 # / ∀ !
) ! . ∃ ! Α ( ! # #!) ! # ! ( ! ∀ ! # & ∋
∀ ## − ( # & ! ) ∋&
# ∃ ∋ ! ! ! ∋ ∋ # !#
∋ ∋ ∋( ∋ ! :4 ( ! − ;! −+ & ! . # ∋ ! ! −+ % 2 Λ # ! ∀ / ( & ∃ : ∃ ;! ( ! & ∋ & ( ) # , ∃ ! 4 4 # . ∋ &# ! / 2 # ∀ (
! ∀ Μ & −+ ( ∀ ## −+ ! − 2 ( ! ∀ ## # # 3 # # ∋ ## % 4 ) = # # ! / ∀ ## ! % ! & ! & ∋ / ∀ ## # 4 ((
( ! / ∋ . # 5( ! 7 ∋& . ! 3 ! 8! ( #6
. # ∋ ! # # −! /
# ∃ ) ! 7 ∋
# ∋ 3 5 ∃ ∋ / − ! 9 # ! / 7 ∋ : #∀ ! . ! ∋ # ;! # − # ( ! .
∃ , 4( ∋ 7 ∋ . 4 ( # ∋& 2 # # ∃ (
! ∋ / & ∗ ∗ # )∃ ( ∋ , 3 & #!
∀ . # # %&& ! # 4 25 5 ∋ , −+ ( & ∋#−+ ( # 25 5 ! ! # / ∃ 5 , ∋ , # ! : ! !∋ # ;! ( :∀ . # # #! ( ;, ∋ ( ∋ ,∃ < 3 & ∗ ( / / ∃ ∋ ( 4 ! ! ∃ ( ! / 3 ∋& & ! # 0 : ∋ ! ( ; , ! ∋ % # 4 # ! ! # (
# ∗ # &# : ;! : , ∋ ; , ! − 0
# 4 ) −+ ∋ : . ∋ ! ∋ . # # #∋ ;! # ∋ ) ∋ : ## ; ) ∋ # ! 4 ∀
∋ 3 ∃# ! 25 + ∃ 4
# ! ∋ ## ∋ ∋ #! # ∋ ! ∋ ∋ ! ∀ # # 7 ( # ! / −+ 5 ! ! ∋
:) ∀ & ;! # −+ : ; : ∗ # ∀ ! # ?; ∀ & ! 9 ( ## !# ( ! ) )∗ ! ! # ! 25 5 & ∋ # ∀ :2 ; ! ,( ! ∋ :− ! ;! ,:0# ∗ # ∋ # − ! ; ) ∋ ! :0# ;! −+ &∃∋ : ( / ; ∋ ∋( # !
,( ∋ # ( ! # & ! − ∀ ∋! % ) ∃ ∋ ! 4 # # ! ∋ ( ∋ # −+ ∋ ! − ! ) ? : ! ∋ ;! : ∋ ; ∋! ## ∀ ! % 8 ! ( ) ! 4 &# ! ∋ ! Γ) %8 ∋ ! ( 4 ∋ # ! ∋ % & , ) 2 ∋ , 3# ≅
0 &! −+ # # ! ∗ # #∋ ∋ ! :7∋ # . ?; # % : / ( # ;! : 9 ∗ ∃ ∋ ! ( ; 9 , −+ 3 # ) ∋ ∋ # . % ! ! / ## −+ # ∋ ∋ ∀ ∋ # ∋ ∀ ( ! ) # 4 #! ! ( # ∋ ∋ % #!
4 # 0 ∋
# ! 4 ∋ & &# # & ! ! & ∋ ∋ ∋ ( ∋ ! #∋ ! ( ∀ # ! ( # 2 ∋ ∋ ( #! −+ &! ) ∋ ) 4 ∀ ( & ∀ −+ # # ! & # ! & & #& !
# ! ∃ ∋ 0 ! 3 # 4 ) ( ! −+ ∋ ( ! ! / (
#!∃ ∋ ∀ &#! 4 && ##! ! ) ! − ( ! ∋ ( ≅ ! ∀
# ∃ % ) ∃ ∗ ∋ #! ≅ : Φ; :0 ;! −+ ! ) ∋ # ! &# ∋! ∋ ! ∃4 ( ∋ ! # ∋!# − ∋ 2 ! 3 ) ! 3#8 ∋ & #
) &&! # #) 3 ∋ # ∋ ∋ % ( ∋ , : Φ Φ; :0 # # ; : #Φ; : % & Φ0 ; : # # # Φ Φ; : % &;! && −+ & ( ! ∋ !#
4 & ! ∋ ! 4 &#! ) #
# ∃! ∋ 4 4 ) ( ! 2 ) ( ∗ ,∃∋ 4 & ∋ ! ) ) ∀
. 4 # # )
( ∋! # −+ − # ( ! # ! ∀∃&! ! ∋ ) ∋ ∋ # #∋ − ( ( &#∀ &# ! ∗ 4# # # ( # ∀∃& # # # ∀ ! ) ! ∋ # 3 ∋ ∃ ∀ &# ∋ : Φ;#,−+ −+ # ( ∃## 4 && ! ( 5 :0 ;! :0 Ν; &
∋ # ( ! 3 % ! ∋
Α ∋ ! ! ) #( ∋ ! ∋ ! ! ∀ &# ∃ ! ! ∋ 0 ∋ : Φ;# 3 : ∋ # # ; 4 ∋ −+ # &# ! ! −! ∋ 3 #
# % ) # 3 , :− , ∋ Φ; : ! ∋ ∋ ;! ∋ −+ ∋ 3 (
( ! ( ∋ ) ∋ # % # ! # ## ! ) −+ & !∃, ( ≅ : # ?; ! ) ! # : ∗∋ # ;! , # ∃ 4 ! # ∗∋ # : # ( &;! −+ ! :0 # ?; & ∋ , :0 ∋. ! # ?; : # ;! : ∃ ∀ # Φ; : ! # Α
−+ # ; :− & 9 ( ) ; , : ∗∋ ? # ∋ ?;
! ( 3 ∋ :∀ ! ! −+ ( )! 4 ( # −+ # ! ! # &
! ∋ ! ; : ∗∋;! 3 ∃: & ! ; :0 ∗ # ! # # ∋ ;! ( , : ) ! 4 # # ! # ! ! ?; ∋ ! ,
: ! ! ! #; : # ∋ Φ; , :.% ?; −+ = / ! # ! &# # ! ( − ( :0# ;! # ∋ . ! # ( : ;! : ∃ ( ∀ ( ; : & ; : & ; :2 ;!∋ : &; 9 ∋ ) ) ( ∋ ∀ &# # :) ;! ∋ ! −+ ) (
∋ #! ! ∋∋ ! ( , ∋ :0 ! # #?; ∋ , −+ # ∋ 0 ∀ ! − ! )
# & ∋ # ∀ ( & −! −+ ! ( ∋ #∋# ∃ ! ∋
# # ∋ ∋ ! ∋ 4 ∋ ! ! ! !
# 3 ∋ # 9 & & ∋ ! ( ! , ( # ! −+ # 4 ! # ∃≅ : ?; 2 & ! ∋
& # > (
− 2 # ) ∀ &# ) # ! : ∋ ;! : Φ;# 3 :0 ! ∗∋ ; ∋ # # # ! ∀ ! ∋ ! ∃ ( ∋ ! − ∋ ! % ∋ −+ ! ∋ ! ∋ ## ! ∃ ( : ! ∋ # ;! : ∗ , ∋ # / # ; 2 3 ( :− 4 !,; ) , : # # (
; , ! ! ∋ 2 # ∋ & ! −+ :0# ! ! , ( ∋ ∋# ; 2 #! ∋ ( ∋ ,# #( &#! ! 4 ( ! ∋
∋ ,# # !
& : ) ! #
4 # ! ( # 4 ! ∗( 0 ( ! −+ # ∃ ( ; −+ !& ∋ ! = ! 4 ∋ # ! ( ! −+ (
#! ! ! : Φ;# :2 ;! : ∋ ! ∗∋ ∋ ! # ∃ ; # : ;! : Φ;# 3 :2 & ;!# #,−+ ∋! ∋ ∋ : # ( # − ; : ;! #, :2 Φ0 # ! ∀ Φ; : ∋ ! ! ! −+ % # ;! :9 ( # ; ) ! ( # > & ! ∋ ! !#−+ ( (
< ! ) ∋ 3 ∋ ! 2 % &# ! ∃ : ∋4 ;! :0 ∃ & 2 ( ; ∋ 4 −! # ! 3 # # ! ∃ ( % ∋ ∋ # 2 && ! ! ) ! ( ∋. # !
! − 2 && ) ! (
# # # ! 4 ∋ ! ∀ & −+ ! & ( # ! ) ( ∋ ∋ ! (
∋ ! # ∋ ∋
! ,≅ :∀ # ΦΑ ∋∋ Φ; :0 # ;! , ( : ∋ # # #∋ − ∋ ! ∋ ! ! ! #
#4 3 # & ( ; ! −+ # ∋ ! , ∋∋! ∃ # ! , ∋ ∃ # 2 , ! ! ∋ ! −+ ∗ # ! ! ∋ ( 0 − ( ! ! 3 # ! 25 5 (
. ! # ∋ : # ∀ ; : ∋ Φ; # ! ( ! 4 ( : ! ( ∃ ;! : ) ! ∗ ∋&( ; −+ #! ! : #∗ ( ! ;! : ∋
0 ! ! ( #! ! −+ ! &
! . #! ( # 9 ( <)
# ∃ ; 3 ∃ ∗ ∋∋ ! ∋ ! 5( !−+ ∗ ∋ :2 ;! : # ; 0 4 & ( ! # % !
−+ #! # #− ∋ − 4 ∋ ! ( # ( ! − 2 && ∋ ∋ ( ! 2 ! # ! ( ) < # ∋ ! < . ! # ! ∋ !
∀∃& ∋ Α ∋ ! ∃ (
! ) ! ( ! ! ( ∋ 7 ! ∋ # % ∋ ∃ 9 ∋ − ∋ ∋ − −+ # # Α ( && ## ∋ ( ∋! )9 ( && ! ! ( #, / ( ! − −+ ∀ ) / ∋ 7 ∋ & ! ( ! # ! ∗ # ∋ ! 9 ( ∗ ! # & , 5 ∋ 4 ∋ (
! −+ ∗ # ∋ ! 4 ( ## # ! ! 25 5 ( ! # (
## !# − − ) &
∋ ! 9 ∋ , ! ! ∋ 4 ! # ∋ −+ # ! # ! ( ! & &# % &# 2 & ∋ ∗ ( # ) ∋ ! ∋ #( 2 ! / ∃ ! ! ∀ ! ! ∀∃& #! −
! # #∋ 7 ∋ ∋
! 2 ∋ # ( ! # ! ∋& ∋ ( ! ( ! 4 # 7 # / ∗ ( ! ( ∋ # −+ ∋! ∋ − ( ! ( ( − # ∋ − ! # . ! 7 # ∋ # −+ ! ∃∋ !)∃ 7 & ∋ ( # ! ∗∋ ( 2 ( ## ! # ( ! − ! 4 !
# ∋ ∃ 4! ∃ # ! ! ! 0 )∃ 7 ∋7 ! ( − ∋− ( 0 ! ∋ ! ∗ ∋& ! ∋∀ ∋ ∃ ! 3 % ! , ( #! ) ! ∋ ∋ 7
# 3 5 ∀ ! / / ( ! ∀ ∀ ∋ . & 9 # 9 3 ! # /( ! # ! ∋ # ∋ ! 2 #
, ( 4 ∋ ! 0 # #∋ 7 # ( & ! ( 3 ) 5 ∋ &
7 ! ∋ ( Λ ! 7 3 < ( < # ) & ∋ ) ! ( ! − ( 4 ( ! . # ! 3 ! !
7 #3 5 # ( ! ∗ ∗ # #∋ 7 ∋ ∃ − 2 4 ! (
! ∋
3 ∗∋ ! ! ! ! 4 (
! ∋ ( !∋ 9 ( # 3 # 0 ! ) # ! ∋& # # ∀ & ! # ∀ ( ∋ ∋ 7 ∋ ! # / # 3 5 ( ( ) ! # ( )−+ ! ! #) ( ! ∃ # ! ! < ! ( ∋ − 2 && #
! ∋ ∋ ∋& ! . ∋ ! ∗ # ! 3 ∋ ! ∗∋ . # ! ( −+ ! 7 3 ∗ ∋( ≅ : !∋ ! ∗∋ Φ; ( ∋ :% Φ Φ; ! ! ( / ! Φ # ( ∀ ∋ ! ! − ( 2
∋ !
& ∀ ≅ :2 ; −+ ∃## − ! ∋ ! ∋ ∃ ∀ &# 7 & & ) −+ − &! ∋ ∀∃& ∋ #
# − ! #& & ) ( ∋ ∃ : ∀ ;! ∃## ! −+
# ∃! ∀ ! &
− ! ∀ # 3 % # ∋ ( ! ∃ &
% &# # ) ! +∗ # ∀∋ ∀ % # #∀ ( − ! % : ! ∋ ; ∋ & # ) 5 −+ ! ∀ ! # 5 ( ! ∋
: ! Φ; & ∋! − ∋ & : ;! : ! # ; :2 Φ; ! ! ) # ( ∋ 3 ( −∃ / ( −+ : # ;! : !∋ ∀! Φ∀ # Φ; ! & ∋ :2 ;! !: ( ; : ! − & ? 0 ! # 4 ∋ ; − ∋ ! ∀
:. ∗ # ( ; : Φ;# 3 : ∋ ( ! ; −+ # # ( 3 ! # 4 ! ! # ! & 4 −+ ∃ 7 # 7 .( ∃ ( 2 # # ∋ ! / ( ∃ ! ∗ # ∀ #∋
! ! &# ## #! ! ∋ # ! # ! − − ∋ ! ∃ !
( # ! )
∃ # #∗( ) − # # ! # ! ) # ( ∃ ! ! & ! ##∋ ( % ∋ ! &∃∋ #∃ # ! % ) ! ) ( / 4 − ( # − # ) # ) / ( & # ) ! & )! 9 & ! & , ( ∃ ∋ < ! #( ! #∋ # ( #! ) ∀ ( , 2 ! #
− # ! , :0 # ∋ # ! # ;! ∋ : # ; − ∀ ##! :0 ! ∋ ; ∋# ! Φ :−∃ ∋ ∀ ##Φ; ! : Φ; : Φ; : & ; ! ∀ −+ # ∋ 7 ∗ ( ( 2 !
− ∗ #
! !∋ % ∋ 3& #∃ − % ! ∋ − 2 # ( # # ! ) # ( ∗ ∋ ! ∀ # ∗( ∃ ∃ ! %# & ! 9 !
9 # ( ! ) ∋ / !∋ ( % − ( && ! ∋ ( ## ! & ∋∋∋ !
∋ − &# # !
! ∃ ∃ ∃ ∀ #( −+ ! ∋9 # #(
∋ # ( ∋ ∋& # ∋ # 4 #! . 4∀ ! &
− / & ! 3 ( 4! ∃ ( ∋ ! ∀ & ( 25 5 ! ! ! ) ( & ! ,# −+ # ! ( % ! ∀ ( & ∋# ! ∃ ∋ ! ! # , ∋ −+ ∋ ! ) # ! ) Α ∋ . # ! ∋ & ∋ ! ! 0 ## ! ∋ # !
!# ∋ ! , !∋∋ ∋ ! 3 # & # ∋ ! 4
∋ ∋ ∋ ! ) ! # ! ! ∋&( & ∋ ! −
∋ Α! ( ! # 3 # ∋( &# ( ! ∋ 2 ) ! ∗ ) # ( ! ) . ! ## ! & , ∋ ! ) ) #! − 3 ( # & ! # & 25( 5 # −+ # !
# # # # & 4 ( !
3 # # ( ∋ ( # !−+ # ! ∋( ∋∋ ! ∋& 2 ( ! &# ! &# 4! # 4 #Α ! ! # ∋ − 2 && 4 ) ! ( &# ! ) # ! ( ! − 4 − ( &∋ # 2 &( & ∋! # !
∀ ! # 4 ∀ & ∋ 4 . ! # &
!
−+ 2 !
/ !−+ − ∋∋( 7 ! ∃ −+ ∗ ∋
∋ ! & ∋ ! ! ! −! ∋ ! ( ! !
∗ ! ( ! ∀ ( ! 0 ## ! ∋( ! 2 ) %( # ! 3 ∋# #∋( ∃ ( 3 ( ∋ ## −+ ! 2 # ! # ! ∋ ! ( # − #!
9 ∃ ! 2 ∋ ## ∀ # ! ! ( ! ∋ #! ! # ! > 7 2 ( ! ∀ !( ∋ ! /# ( 3 ( ! ∃ ! 7 ! ∋ :2 ;! : ! Φ;# # :0 ∋ Ν ! ∋ ∋ ( ; :∀ ;! # : ?; : ;! ##∃ : ? Φ; : ) ; :7 ! ; : 3 ? ?;
:. ;! :∋ 3 ! ; :4 && #4 && ! 2 ;! & & 2 ( ! && ∃ : # ) # ( ;! −+ ∀ ## 9 !
% ∋ ! ∀! # ( ≅ :∗! Φ; : ; :4 && # 4 && ! 2 ! − ;! : &! 9 ;! :0 ∃; : . ?; & ∃ :4 # . ! ∗∋ ; −+ ! ! : #9 # & ?; ! ( ∋
: !− ?; :4 && # 4 && Ν ! 3 ; : ∀ &#?; : ? 7 ! ∗∋ # . ; :∀ &#! ∀ &#?; ∀ # −+ # ∋ ∋ # 4 ∋ # ( ,∃∋ ∀ ## ! −+ ! ∃ & Α : # ∋ #! ( 2 && ! , ! ∋( ; : ! Φ; :∀ / # ! − ; :0 ) % # ?; # ! ( & ∋ # ∀ : ;! & ∃ ! . #
: ) ) ; : % ! ?) % ΗΟ−?; : ∗ ; :0 ? ! − Φ; :− ∀ &( ) % ΗΟ−Ν∗Ν ∗ ! # ! # # ; . #! −+ # ( &
: 4 ;! ( % # #( ! ∋ : # ∋# ? ) ;! :) % ΗΟ−? Γ? Ε! ! ?; :) Ν; :3?; −+ # ! ∋ #! # < Φ : & ;!
7 ∋ :∀ . Φ; −+ & ∋ ! ∋ 4 ∋ # ! ∋ 3 Π302Α,)302/3∀33Α( Π − ! ϑΒ∗ ) 3 5! && ∀ # 3 5# # 4 # # ) ) ∋ . ( ) 3 5 ! &
∀ ( ) ∋ ) ( ∋ ∋ ∋ ∋ ! ) 9 # # ∋ , ∋ ∃
/ ) ∋ ∋ 9 9 # 3 5# ) ) ( ! 9 ( # ! ( ∃& ( 4 # ∃ 2 2## # . ∋ ∋ ∋ ! ! # ) ∃ # # # ( # % <# ! − ∋ ! ∋ 7 ! 4 # % 2 ( 2## ! ( ∋ ∋ ( # /( 5! . ( : !−+ Φ; :2 ;
:) Φ; :7 ; ! ∋ 9 ! # ≅ : ∀ ##Φ; :0 ; ∃ # ! 7 ∋ ! ∀ # !
−+ # ≅ : ∀ / ! ) # ! Φ; :7 # ; : ) Φ; :7 ! . ? ∀ # 4 . ( #! / ; −+ ! ∀ % : ) Φ; :2 # ! ) ( # ; &! # ∀ ##∋ ! 3 : # ∀ ##;! :0 0 (
∋ ; : Φ; :2 ! ; :0 ! 2 ( ;! :7 ! ∗ 4 ∗ &
% &# ∀ ## ; . ! ∋ −+ ∋ % ( ! ∋4 ∋ / 7 ## % & ! ! ∗( ! −+ ∋ ! ! & ! ∋ / ! ∋ ! & & − & ! ∃ − # ∋ ! ## ! # 3 ∀ ( !
# ! ∃! && ! ∋ # 3∋
∋ ! ( ∋ ∋ ∃ 7 ∋ ! ! ∀ ( ∋# # ## ! ! ( ! ( ( 2 ∋# ! && : . Φ; :7 ; : ! ) Φ; :2 ; − ∋ Α## ∗ 2 : ∗∋ # ;! −+ # ∋ # ! ∃ # ∋ ∃ ! ) #! ! & ! ! :0 ;!
: , ! ) Φ; :2 , ∋ ∃ ( Φ; 3 5 #! Λ ( # ) ! # # ∋
∋∃ ! ! ∋ Λ ∋ ∋ ! & 3 ! ! 7 3 & !∃ ! ∃ :0 # ! ;! : ! Ν ! ; ## & ! −+ ∋ Λ ! : ) < ; : −+ ; :0 ; : & ;! ( 3 : ; : ;
∃ ! # ∋ ! (
# ∋ # ! −+ ! # ## ( 2 # − #( ) −∃ ! . ( ! , ∋ ! ) ) ) ∋ −∃ ! ∋ ( 2 4 & ( ∃ ! ! #! ! ∋ ( ! # # ! &∃∋ & # ( :−+ Φ; . # 2 2 ∋
∋ :−+ ! 4 Ν ! Φ ( Φ; ! 0 # & ! − # # 3 ! ∋ # 6 ∃ && ∃# ( ! # ∀ ∋ ∀ ! 2 ∀ ∀ ## ! ! # # : ! ;! !: ∀ #( # ; # − ≅ ( ( ∀ Λ ! # # 2 # ∀ && ∀ !
) ! −+ / ∃ ∋ ∋ − ! .
− 9 :0 ;! ! ! ∀ ## #:0 ( 0 ∗∋∗ # ! )5( 5 ; : Φ;# : # & ( ;! −+ : ∀ &# ∋! ∃( ! ( ∋ ; : ;!∋ # ( &# : ; : ! ( &∋ ∃ ! ; :0 ∋ − ;! # : ( 9 # ! 0 ! . ∋ 7 ! 7 ! 3 # 0 ! ; 9
! %( # : ! ∋ ;! −+ : # . Φ; 9 ! −+ %# 3 ! ! −+ ∋∋ ! :∀ # & ( Φ;# :7 ! Φ; :2 ! ∃ ! ∗ 7 0 ( # ; : # 0 ; :2 ! ; ∗∋ : ! ; :0 ! ! 7 ;! −+ ∃ # :7 ! ! Ν ! ! ; : Φ∀ Φ; :) 5 Λ /
;! :/
∋ #
& ! ∀ 7 ∃; :∀ Φ; :7 ;! 3 ∃:0! # ∗ ) ∃ ∗ ; : 7 ! # ; :7 ! ! −+ ! Ν; : Φ; −+ 3 ∋ %( # ! ( :∀ ∃ ! # 7 ;! 3 & &! : ! ! ∋ ?; : ∗∋!−+ ; 3 # ! −+ ∃ − ∀ ( ∃ ! ! # ≅ : ∋ ( Φ; :0 0# ∋ 3 5 ; : 7 Φ;
∃ < 9 Φ :∀ Φ; 3 5 4 ( 25 5 ) ! / ∃ # ∗ ∋ ∀ ∃ 3 ! # ∃ &∗ ( ( & ! % ( 9# &∗ ∗ #∋ ! ) − & Α −+ # ∀ & ∋#! ! ) ) %&( & #≅ : ! ?; 2 & ! 0 ) :0 # ! ;! −+ : ! ) ( Φ; : ) Φ; #
∋ ! # ∋ − ( ! :0) ) ! # ; : 0
; ∋ −+ ∋ %&& ∋ −+ ∗ ( #! ∋ 3 ∋ # ( ! ( ∋ ∋ 3 ∀∋ # ! ∋ ( % &#&# ∋ ) / ∀ ) 5 ( 5( ! # # ( ∀ ∀ ∋ ( −+ ∋! ( ! ! # ∋ : # ∋ ∀ ## ;! ( :0# ! ! 7 ; ! 3
≅ :∀ ∗ ! # 7 ∀ ∗ ( ! Ν; :∀ ∗ ! ∀ ∗ ?; ## −+ :/ ∃ ∀ # ?; ∀ ∗ −+ ! ∃ ∋ : Φ ! 3 !∀ ∋∗ Φ; ) ! 3 ## ( ! # ! #∀ ( # ∋ : ∗ % ;!# # ! : 7 7 ( # !
∗ % ∗ ! ∋ & ∋ ! ! # ( #∗ #6 ! ∗ ( ! ,
#∗ ) ; : # ; ∀ ! # ,# ∋ # ! 0 − ( # && :0 # ! ( ∋ ;! ! : ! ( # ∋ ; # !
:/ ! ( ?; ∀ :9 ? ! # ?; ∀ 3 # ! 4 ) # ∋ ∃ ! #( 5 ∀ , ∋! & ! ( ∀ ! ∃ ( : ) ( ! #
! ∗∋ , ∋ ∋ ; 2
# # ( , ∋ ! ( ! ( ∋ ∀ # ! & ∋ ∋ ! 4# ( # ∋ & ∋ # ∀ &# 2 ! ∋ ! ( # ! # ! 7 ! ∗( ( #! ∗
7 . ∋ 3 (
∀ ! # # ! ∋ ∀ ! ∋ # ! ( ! ( ∋ ! − ! ( ! # ∋ ∋ ( ! 3 ∀ & ( # 4 # # ! ∋ ) #( ! ∋ &( ! ∋ ! ∋ ( ! 4 ( ! ( 2 % ( ∋ 4 # ! ∋ ∋ ( ∋# ! & ! 2 ! ! ! ∃ ( ! ! ! ∀ ( ≅ :0 ∃ & # 4 ( ;
! ∀ ( ∋# ∗ # ! # / < # ∋ 2 ∋ ∋ ! # ) ! ! ) ( ! /! / # ∋( ! 7 # ∋ 2 && ∋ < − ! ! 3 # . % # ( > ! . ( ) ∃( # ! ∋
# # ∋ ! , ∀ !Α ∋ ( ! ! / ∋∋ & ! # ! ∋ # ∋ # ! ∋ ! ∗ ( (
∋# ∗ ∋ ( ! # ! ∀ ∋∋ ! ∋ ( −+ −+ ! & 7 ! # # , ! ∗ # 2 ∋ ( ∋ −+ ∗ ! # ( ∋ #( 2 ! / # # ∀ & ∗ ! 3 ( # # ( ! # ∋ ∋ ∀ − ! ∋ ! ! ∋ ! −+ ∋ ∀ # #3 5 1 ( ! # ( ! − − ( ! −+ ∋ , ! (
! ! # ! ! ∃ 7 ( ∋ − # ∋ & ∋ ∗ # ! −+ ∋ / ∃ ! − ∋ ! ! −+ ∋ ( %##( & ! ! 7 ! 9 ∃ ## −+ 3 > 3 ! # # ! ∋− ( ∋ ! ∋ − ( ∀∋ ∋ ! ) ( ! ∃ ( ! ∃ ! ∋∃ % # ∀ ! ! #6 ( ! ∃ ( ! − # !∋ ∋
< ∃ # . ! ∋ & ∋ ∀! ∃ ∃## ! # #/ && ! ! ( # ## ∋ ! &# ( ! ∀ ∀∋ . & # # ∋! 3 . : ∃Φ; :0 ! ; :Α ! 9 ! ( ∗ ; ! # # ∗ ! ( ! 4! %
∋ :− ; : ∃ (
; ##! # ! & (
:∀ # !Ν; ∋ ! ! ( ∋∋ # ## − ∋% ! #! ( ! / # :7∋ ∃ ;! # % : ∀ ∋ − ∋ ! # ; ∃ ∀ && #( ! ( # & ! ! ! ) ! ( , 8 # & ( : Φ; & 3 ∋ 2 ∃&#(
:0 ! )∃ ! ! ( ;! # :− ( ; : ! ( ;! : Φ; : ; ! ( # / ## :0 ? ∀ ∗∋ ∋ ∗ #∗ ; ∋ ! # / ## ! ( & # ! # ∃ ( #− ∋ ! ( #! ( # ! ,−+ ( : ∃Φ; , − !
# # ) # ≅ :0−+ Φ; 9 # ∀ &#≅ :9 Φ; : 3 ; # 9 # # ! −+ ! ∋ & ∋ # 3 / ∃ ∃ ! ! 3 (
! ∋ #∋( ! # / ( ∃ ! # & 4! ## ! &
∀ ( ∋)∋ ! ∋ : 4 ? Φ ∀ Φ ! Φ; ,∃∋ & / ## : Φ; ∀ & ( # 2 / ! #
# ! # % ! ∋ . ! ( ! ∋ ## ∀
# ∋& : ;! 3 ∋: ; : ∗ ?; # # ( :∀ ! ! ( %#; ∀ ∋ 3 # 3 , ∋ #! 8 ∋ : ! ;! # : #;! 3 ∋ #: ∋ 7 . 7 Ν; :0 ! ( ∀ ; ∀ # ! # ∋
∀ # ! ∋ / ! ∀
3 ! ( # ! 3 , /
## ! ! : ;! 3 &# ##! ∀
: ;! # # : ; : Φ;# (
3 3 ! % # ∋ 7 ! 7 ( ! ! &∃∋ # . ! − ! ∀ # ∗ ! #! ## ! − ! ! ( ! ! ! ( !
∃ 0 # &∃∋ # ∋! !
∀ # ! ∋ 3 # ! ! &
! #∋ ! ∃ ( ! 4# ∋ #! # 7 ( ! ## . ! ∗ 7 & ∋ # & ! ∃ ≅ :−+ ! ∀ ! Φ ∋ Φ0 !−+ ( ! ∋ ! − ( !∀ ! ∗ ∃ # ; # 0 # −+ /∋ #! ∗ ∗ # # −+ ! ! #
: Φ;# # −+ ∋ ∀ ∋ ( ∋! ! ( :0; : ∗ !7 ? ;! # ! ! −+ ≅ :0 Ν # Ν; 3 ! ∋ . − −+ : Φ;# 3 ! ( ! #≅ :− ! ? Ν ! ) 5& ! Ν−+ ?; ∗∋ ! ∋ ! # ( ∋ & ! ! # : #;! !: !
# −+
; # # ( #−+ ! ∋ ∋ # ≅ : & Φ; : ; : ∗∋ ∋ ∋ Φ; :0 # ;! −+ : 2! & Φ; Α #∋ ! −+ && ∋ ∋ ! ( ! ( # : ; :Φ; : 0 #; # ! # : ;! :9 Φ; −+ ∗∋∋# ( # ! ! − : Φ;# : # ;! −+ :0
! ∋ ( ( ; # : ? ;! :0 ; # ) ∀ ∀ ## ! ,# −+ ∋ ) ! &∃∋( −+ 3 ∋ :0 ! ∃ ? ∗ ∃? ∗ ! ; :3;! : #!−+ ! ?; # ∀ ## ) ( : Φ; # # ( :−+ # ;! −+ ##! # ∋ :−+ ?;∋ # ! ( 2 ∋ : ∃ ; :
! ∋ ;! : −∃&∃ ; # ∋ / ! ( ! ( ∋ ∋ : ! # Φ; −+ ∋ & # : ∋ ! ∋− ∋ ∋ ! # ( Φ; −+ ∀ &# : ; : ) ;! ,−+ &∃∋ ! . : ; ) ( # ∋ ! & #−+ −( ∋ ! ( # ! # ∋ ( −+ ∗∋ ∋ ∋ ( ∋ ! ( : Φ;# # : &# ∗ # 8 # ;
! # ! ## ! ( ∃ ! ( #! 3 ! −+ ∀ ! , ∋ ∀ ∋ # ! # −∃ ! 3 # ∋∋ ! ( & ∋ :∃ %# #! ?; 3 &# ## : ∗ ;! #&∃∋ : ∗ ! ∃; ∋! ∀ ! ∗( & 3 ∃ !# ∃ −+ # ! & 4 ! ∀ / ∀ # ∋ ( ,# ∀ && ∋ ,
# : 7 ∋ % Φ; #
∋ ( ∗ :∀ ! ∋ ( Φ; # ( ( ! ∃ ( − !# ( # ∋ 5 &# ! ! #! ( ∋ ( ∋ 7∋ & ! # &# ! ∋ ∃ ! ∀
# : ! ; ,−+ 5 ∋ ! # # ∋! ( ∀ −+ # ) ! # ) ( ! : ?; #
# : ; ∃! ## ! ∀ −+ ! # # : ; : ;! −+ 4 && ! / #( # ∋ ! # ∋ ∗∋
) : ∋ ∋ − # ;! # ( & # ! # ∃ ∋ ( : # # ; : # ∋ ∋ − #Φ ∃ !7 ( ? Φ; # ∋ # ! ∃ # ! −+ ∀ Λ ∋ # Γ 4 ( ! 3 ∋ . ! 4 ∋ ∋ # / ! −+
# # ∋ ∋ −
. #! # # ∋ ∋ && ! ∃ ! −+ #( 4∋ ( ! # ( # ## ! ! ( ## ! ( ∀ & ! ## ! #∋ && #∋ ! ∗( # ∗∋ % ! ( −+ ( : # ;! # ( ∀ ! ! ∋ ! :0 4 ! # ! ∃! ∀ − ! # ∋ ; # ! ! # # ≅ : # !−+ Φ; :0 ;! −+ ∋∋ : ! 4 ! ( ) ! ∋
;! ∀ 3 # ∋3 / : # !3 ; % ∋ 3 ∋ ( :7∋# # ∋ ;! −+∋ :0 0 ) ∃ ; : ∋ ; ! 3 # ∋ ∋ ! # ∀ ( # ! ∋ :) Γ ! ! # ! % ! ! # ; 3 ∋ ∀ ! / # ( # # ) ( #2 ( ! # # ( ≅ : ∋ (
; ∀ #! #! ! ( ! ( ! ## ! . !∋# : ∗∋ ( !−+ ! ∃ ∗ % ( ! ; −+ # #! ( ∋ &# # : ;! ! ! # − # ( ! # −+ ∋! ! ∃ ( : ! #( #! / Φ; : ;! ∋ :0 ∗∋ ∋ ( ; −+ ! :0 ! (
∋ ! # ( ; :0 # ! ∋ ;! ∋∃ : ! ! ∋ ! ∋ ∃ ; : ! & ; : ? ∗∋ ; # ∋ # ∃ ! && ! ∋ ! # : # ! # ) ∋ ;! ∋−+ : ! ( ∋ ! ! ∃ ! ∋ ∋ ! ∃ ; −+ ∋∋∃ ! ∋ & ∋ ! ( : ∗∋
# ! ; : 2 ; # ! ! ∋∋ ! ∋ #
#∗ ) ≅ : ! ( & ∋ ; ! −+ ∋ ! &# ! 3 ( # ∋ ∋ ∃ ( !
! ∋# ! # ( ∋ ( : ∋ ! ( ∗ ;! 3 # ) , 8 ( # ! ! ∀ # ∋ ( & #∃ ∋ !
∋ ,# ! !
∋ & 2 # # :0 ∃ ! ,# ! ∀∃ ;! ∀ && 3 #∀ ∋ ∋ 4 ∋ 4 # #3 ( & ∋ && ∀ ! ∋ ! # # ∋ ! ( :2 ;! !: %#! / ( ;
: ∗ ∋ 0 3 )5 5 ; ∀ # #( # ! ( ∋ &
) 5 . # 2 ( ∋ : Φ; :2 ; ∋ # !
3 :2 Φ9 ∋Λ ! ( ! ( ! 9 ∃ ∀ ; ! ! ∀ ! ! ! ! && − ∀ &# # ∀ # ( ∋& − −
! ! 4 ! # ∀ ,# # ( ∃ : Φ; :−+ ; :7! 9 Φ; ! # ≅
: ## & Φ; :, Φ; :7 ! ( ; # ( ! 3 ! ( #∃ ! 3 ∋( ) ( ! # . ∀
# ∋ &# . #∃ ! ∋ ! ∀ &# 2 # ( 7∋ −+ ( ∋ ! ∃
,−+ ! )∃ ( ! ( 7∋ ∗ 3 − − ! ∋ %# 2 , ∋ # ) ! !
∃ ) & # ! #3 ( # ! ∋ & ! !# ( ! 3 ∋ # ∀ &# . ! ∋ ( ! ! ∋ ∋ ! &! ∋ ( # −+ # ! ∋ ∗ ∋∋ # ∋ %# :−∃ ∀ ## Φ; ! ∋ ! ∋&
) 5# ∀ #( # : 0 ∃ ;! ∋3 ! ∃## ∋ − # ! # ! ∀ ∋ ∋( # ∃ ! % (
: 3 ! ! ( Φ; Λ # ! ) 5 ≅ : ∗ ? ; : # ∃ ! ∀ ! Ν; ∀ ! & && ∋∃ ! %&& # Λ 4 ∋∃ ∗∋ ∀ & 0 ∋ ! ! ∋ ∋ ∀ ( ! 3 ∋ # &
( − ! . & ∋ ∀ &&! ! && # # ! % ∋ # ∀ ∋ ∀ ! −
3 ∋ ∋ / ! 2 ( #− & # ∋ &
5 ∗8( , ∋ = & # 3 5 ! / , 3& ( ! ∋ %
# ∃ 3 ∋ ! ∀ 5& ∋ ∀ #
# 3 0 , ( ! ∋ ∋ ! ! ∗∋ ∋ ∋ 7 , #! 3 # ( & ! ∀ 0 ( ! 3 #3 5 ( ΦΑ # ! ( Φ # )
3 ! ) # ! 3 & ! ∋ ∋ ∋ ∋ ! ∀ & ∗ ! 3 ( # )∀ #! ( ∀ # ! . ( ∋ & / ( 7∋
# ( ! 3 ∋ ∋ #
#3 5! 3 4( ! / 7 ## ! # ∗∋ 3 # ! # ! 3 − ( # − # # ( ! ∋3 %( ∋?3 ! ) ! / Γ
! ! ∀ ! ∋ ( ∋ ! ∀ / % ∋3 ) ! ∗ Α& ∋ # ! ( ∋ ## ∀ ∗ ∋. ! 7 ( #∗ ! % % )∃< ! !∗∋ < , ∋ # ! ∃! , ( ∋ 4 ( ∋ ∃ ) ∀ / ! 4 ) ( % ∋ −+ / # ! ∀ ## ∀ ! #3 5 ∋ 2 ∗ )∃ ∋ ! ∋
# 3 5 ! ∋! (
#6 #
#∋ # ! ∋ ! # ∃ ∋# # ∀ ! # # ∋ ∗ # ! # ∗ ( ∋ ! ∋ ∋ ∋∃ # 6 # / ∋!∋ ( ! # #( ∋ 7 ! # # ! ∃ > ! ( ! 4 # ! − ! & ! ∃ #∋ ! ( # 8 ! − ∃ 5 ∋ 4# ! 3 5 ∋ ! (
6 )5 5
∋ ( ! ( ! ∀ # ! ∋ ! (
∋ ∋# ! ! − ∋ ! ∀ .
−+ # & − ∋ ! / 2 ( # ! − ∋ 3 #( ∋# ! # 9 ! ! −+ ∀ & ( ∃&#!# ∋( # ∋ ∋ ! # 2 ∀ ( # ! Λ ! − , ∋ ∋ 3 ! Λ # # #! ∋ ) 3 ( ! && ! !
∃ ∀ # ! # #∋ ( ! 3 # #∋ 7 && ! ∋ Λ 3 ∋ # #! ∀
#%&&∃ :∀ ∋ # 0 ∃( ; ∀ # ! 3 5& ∀ ( #Λ ∋ ( # ! 0 ! 9 3 ! ∃ ? :Λ ?∀ ; ) ) ! ∀ ## # !∋ ! ∋ ! 4# Λ ( #∀ 2 ( ? ! ! ∋, & . : ∋) 5! # ! # # # ;
∀ #! ( # −( 9 3 ! ∋. ∀
? :∀ # # Φ; # :2 ) 5 ; 3 ∀ ∋ ≅ : .Ν !& 3 ; :2 Φ; :Α # # ! ∋4( , Ν; ∀ ≅ : # ∗∋; Λ ∋ ! ( ! ∋ ! ∋# ≅ :3 #! ) 5 ∋ # ( ; ∀ ∀ &# ∃ :0 ! ∃( ; 3 3 # ( %
) 5&∋ ( ! Λ # ! ∋ ) # ! : 3 ∋ Φ; Λ : ! # ;! : ! ∀ ; − ! ) 5< ∗ ! )( < ∋# ! ∗∋ # ) 5 ∋ / # ! ∀ & # 4 & Λ # ( ! ≅ : # ∃ ! ( ; ## ∀ ∀ : ∗∋∗ # ∋ ∀ ∗∋ 0 ( # ; # 4 ! Λ (
! 4 : % ;! # ! ) : ΓΦ; : ! ;! :7 ! ; Λ # ∗ < ! ( # !
4 Λ : ## & Φ;# ( Λ # 0 # ! ∋ ∋ ! 9 ( # ( # ? :2 ! ;!
:−+ # ; : # Φ ∗ Ν; % : ∋ ! ( 2 ! ∗∋ ( # − Γ ! ; Λ ∋ ∃ % ∗∃ 4 ( ! ∃ Φ 4 #) 50 ) ∃ &# ∀ ! ( ∋ : ! ?;# # :7∋ ( ; ! −+ )
) ∋ & ∗ ∋ % ( # ∃ 8
##! 9 ## # # ! ! 4 #% ∋ ∃
! # ∗∋ ( ! ) − ! ! # ! ! ! ∋ ∀ # ( !∋% # % & # ! ! &# ∀ ! ∋ ( Α ( −
! # 2 3 3 7 −+ / ( ∋ ( 3 !& % ! ∗ ! ! ∋∃#7 − # / && ∀ # ∃ ∀ ! 2 # Α ∗
% ! ∋ − # ! ∀ # ! # ! ) ! # ∗ ∋ # ∋# ! # ! : # ! ∗ ( # ∋ ! ( ;! # :0 ! ) ∗ 9 ( !
& ! ; ∗ ! −+ ( ! ∋ ( ∃( ! −+ ∋ : Φ;# :2 2 # ; :; −+ ! ## −+#
, &! , ∋ ∋ ! ( ∋!∋ ! ∋∃ 8 ) ! % ! # ( # & )( ! # ∋ ! % ( ∀ ! ) ∋ # ∋ % #−
( # − ( :% , ∗ ( ;! ) ! : ?− # ! ∃ ( ; : ,;! # ( ! % &∋ : Φ;# :− & ! , Φ; # −+ ∗ ! / ! !
#∗ ! 3 #! 4# ! ! ) ! 7 & ∃ ) # ∋ ∋ ( ∋ ( 9 2 ∋ ( ! ∋ % # ! &! # ! ,# −+ ∋ ∋ 4 , &
# , ! % ∋ 2 ( # %! # &# ( && ∋ # 3 −+ ( , & , ## #! ∋ !
∋ ,∃∋ ( ! ! ≅ :∃ !−+ # ( Φ; −+ ∋ % (
∃ # ∀ &# # ∋7 ! ( 4∋ 7 ! # ( ? # ∋ ∋ Φ ! ! ∋∃ ( :2 ;! : % ! # ; # ∋ ∀ # ∋ &! ) :7 ∗ ;! :0 ! ∀ &# Φ; −+ # ! ∗ &∃∋ 4 ∀ ! ( , # # , ! ! ! ( 2 − ∃ 3 % ∀ &#∋% ! ( ! ! :− % ∋;! ) : ; 3 #
−+ ##! ! ∋ # , # # 3 !
!
# ! # ( − & ∃, ∋ ! ∋∃ ! − ) % ( ∋ ,∃∋ ) # ! ( # :∀ ; ! #
# ,# #! : ;! : ( ; 3 3 ∋−+ # ( 3 !
# : ! ! !# ; : Φ; : #; # ! % # #∀ ( , : ! #;
3 ∋ ! − ( ! ( # ∋ ! # ≅ : ?9 ! ∀ ∀ &# ∋! 7 ∃! ; # ! ≅ : ; # ! −+ :−+ ! ( Φ; − ! ( ∃ :2 7 Φ & Ν; −+ ( ! 4 , ( & :− ! ;! % : #
∋ ; :0 ! ∋ ∗∋ ∀ ##
# # ∋ (
!−+ ; ) ∀ ## ∋ # ! && # , # ( % . & ( & 3 :∋ ! #;! :0 − ∋ ; : ∋ ;! 3 :0 Ν ( Ν∗ ! # ∋ ! #?; # 3 ! ) # ∀ &# 3 ( 0 % ∋ , ! #−+ :− # ! 0 ∗∋ ! ; −+ ∀ &# ∃ %∋( # # / ( & ∋ :0 # ! ∋ ! ∋∗ ;! (
! −+ ##! ∃ : ;! 3 : ∃ ; :3 ! ∃ ! ?; 3 2 ∋ % ∋0 , & ! # # % ,# # ! ∋ :0 ∀ ; : ∃;! −+ # ∋( ! : ! ∋ # !∗ ! ; , # ∋ ! 3 # ∋ # ≅ : ∗∋ ! ; : # Φ; ∋ ) ! ∀ ## :0 # ! −+ ;! 3 (
∃ # −+ ! :2 ! # Φ ∃ ∃ ! ; :/ ;! ,−+ ∋ ∋ : # ; 3 ## ! ∗ ≅ : ! Λ ) 5 ∋ 4 ( # # ! # 0 # ∋ ! ( 9 ! ∃## ! ∀ ∋∃ ! & ; &# ##∋ :9 # 9 Φ; : ! ) (
& ; ) % 3 2 ,# : ∋ ;
:2 ! ∋ & ! ( ! ( && ∋ ;!# ∋ ∀ ## ! ) ∋ ! : ∋ !
# ;! :2 ; 3 4 && ( : ! ) ( ; :0 ) Φ; ( # ≅ : Φ; : ; : # # & − # # ;! 4 ) : Φ;# : ( Ν; ∀ !
# ) ∋ − # #( # ! ∋ !# # ∀ ∋ ## ( Φ Α # # # % Φ :Ε ;! ! ∋≅ : # ! &( Φ ∀ ! 0 ∋ ; : # ! ( Φ; :7 ! ; Γ &∃∋ : # # ? !−+ Φ− < ? & ( ; ∋ ( ∀ ## ∃ ∀ : ∋ ;! 3 : 0 ! −+ # # ∃ ∗ ∋
0 ! !
! ; :/ ;! 4 : ! ! ∗ ∋ ?9 Φ; : ∋ ; ∀ ## ! ( ∋ ! # ( # −+
# , ∋ &
2 ∃&# ∋ 3 ∗ ( ∋# :2 ∗ ;! ∋: ∋ ) # Α ; :9 ∋ ;! # &# ,# # &# # % !: # ; # : Φ; ! #∋ ! ∋ : ! ∋ ∋∋ ?; :2 ;
!∋ 8 ∋ ∋ ∋! ∀ ## ∋ ! ∋ : ! ## ! −+ ;! : ( ( & ; : ;! 3 : ∗ # ( 9 # ; Γ ∀ ##! ∃ ( # ( # , ! # ) −+ #∋ ∋ ! ! ( # ! ∋ # ! ,# # ∃! ! ( # # 9! − # !∋ # (
! ∋ ∗∋! ! ∋ # # ∀ ! ! 9 ∋ ! # ! ∋∋∋ 0 ( ! # ! ! 9 ∋ # ! ∋ ! ∋ ( # 4 # ! # #( & ( # ! %! ( # ! ∋∋ ! #∋∋ ! # ( − ∀ # ∋ !
# ! ∋ # ! , ∃ ,
! & &,−+ # ) −+ # ! , ∋
# ∋%∃##( ! # ∋∋ ! &# −+ 2 ! # ! , ∋ ! Α ! ∋ ∀ ∀ # −+ !∗ . ( , # . ## ∗ # # ! ,
0 − ! ( ! # ! ! 3 /
#) ∃ ∀ ( ! ! ! ! (
∋ : ;! −∋ ! 2 ∋ ∋ : . ! # 7 Φ; 0 ∗ ) 2 ∋ ! # % ! 4 ! 0 ∋ − 2 ! Α . ∋ ∋ ∗ ( % ∋ −
∃ )( ∃! !3 ( 4 % !∀ ∋ ( 3 ∗ # , −+ − 7
# ! −+ ( ∋ ! −+ ! ∀ ## ! # ( # ! 2 ∗ ∃( 3 # ! 4 ∋
# ) ! −+ # ∃ ! ∀ ! ) ( ! ∋ −+ 3 ∋ % & #
4 −+ ! ( ! . !
! 3 #! ! # 6 # ! # 8 ( ∋ 3 ∗ ∋ ∋ ! , & ∋ &# ! &&! ∋ # ( : & ∋ ;! # −+ ∋ :2 ! 4 ?; # # ! − ! ( 3 ∗ ! −+
, #∋ − ∃ ∗ # ( ∀ ## ) # ∃
! ( # #∀ ∃ ! ! # ! −+ ∋ # ! ∋ − ∀ ! ! # ) # & −+! ∋ 3 ∀ ∋∋ ! −+ ! # ) ∀ ! # , ∋∋ ! ( ∋ ! ∋ −+ #! 3 # ! 3 2 ∀ ∃ ∗ ! ##! ! ∋
( # ! #−+ &# # ! ## ! &# ( ∋ ! # 4 ! −+ ! ! &# 4 ! ∃ ! % ( #2 ! % ! # ( # ∗∋ # ∀ ( # ! ∀ ! ( −
! ∋∋ & 7 ∃ % ∋ − ∗ ## % # ∃( ! ! # 7 −+ ∋ ) ∀ # # ∋ 3 −
∋
! ∋ ! # #∋ − ( (
! ∀ # # ∀∃& ∗ ∋ ! ∋ (
#∋ ! ( ! ∋∋ #! ∋! ( 4 # ( 2 ∋ − ∋ % !∋ ∗ ∋( &! 7 ! ! & ! ∗ ! ∋ ∀ & ∋∋ &# % ∀ ! ! ≅ 2 # 7 −+ ( ! # % −
∋ ∗ ( ! ∋ % ? !∋ ! ( ∋ ∀ # ∋( ! #
∃ 3 −
0 ! ∀ #( ∃! 7 ( # ∀ ∋ ) ! ∋ ! ∋# ! # ! 4 # ∗ 3 ∋ #! ∋# ( &( ! ) % ! # ! ( Α ( ∋! #∋( 4 # ∋( ! ∋ 0 !
!∃ ∗ ! ∗∋ ∀ (
∋ ! ∋ % ! Α ! # ∋ −+ ! # ( ! # 4 ! −+ ! 2 % ( ! ∗ 2 0 # ∋ #! # ! ( ∋ ∀ ( ! −+ ,# # ! ( #7∋∃ ( ∀ 4 # ∋ ( ! ( ∗ ∃ # # ∋ ∋ − ! # ( 5& % / ( ∃&∋∋ ! # % ∋
& ∋ <∗∋∋
## ! ( ∃ ! ! % ## ∀! # ! ∃ ! ! − & ∃ ( ! ∋ ∋ ∃ ∋ . # ∋ # # ! ## ∋ ∃ ! ∃ 3 ( ∋ ) #( ∋ 0 ( ! ∋ ∗ ∃ & & # !# % ( # ) ( # #! ∋ − # 9 ! ∋ ! # ( # ∋ ( 7∋ )
∗ # ∋ Α## % ! ( 2 / ∗ ( ∗ 3# ( ∃&# ∋ # # ! ∋ / # # 9 ∃( ( ? : 4 ;! ( ∋∃ : ( ?; ∗ ( # # 4 3 ∋ ! % ! ∃ ∋ ) ( ! 3 ∋ ( ! −+ !) ∋ > ∋ # ∗ ! ( ! ∋ ! # ∗ / ) # ! ( ∗ % −
∋ 2 − ( !
:− ! ∋ ∀ # ∋ # ∋ # ;! −+ : Φ; : % ∋ ;! ( : #! ∋ ; ∀ ## ) ∋ ! ∋ 3 ∀ 3 ∃! ! 3 # ( ∋ ! : Φ;# :2 !∀ ; : ## Φ; :0 ! ! # ( ! ∋ #2 ( ; ∀ ∋ ( #! ( # : Φ;
: ! ( ! 0 # ∗ ! −+ ( ! ; : 1 &# ( Φ; ! ! ∋ # ∋ ∗ % ∋ !
! ∀ &( ! ∋ Α ∋ ( # ! # ( ∋& ! ! #!
∃! # 2 : ∋ / ∃ ! ) ∋ & ( . ! ( ∋ ! ∋ ! ∋# 9 ! ## Φ; − ! !
4∋ ∋∃ −+ ) ! # ! ∀ ) ! ( # ∋ ! #∋&
∋ ## : # 6 ∋ # ;! : !−+ ! ( ! ) #∗ ) ∗ ∗ ∃ # ∋ ; :∀ Ν;! 3 ! ∀ ∋! ∀ , # ( ! ∃! 6 ∋ ∋ ( ∀ , ) ! ( # ! ∀ ! ! #∋ :) ;! ∀ ! : ! ! # 6 ##; : ! ! ∀ ;! ! ∋ ! ( ∋ &
∀ # ! −+ ! # ! ∋ ! ∃ ! ∋ ∗ ∃ ! # ∋ # ! ( ∋ !∋ : ! #Φ; # −+ 3 3 ! ,# ∃ # ( #−+ ∋ ≅ : ∋ Φ; : ∃ ! Φ; :7 9 # ! ; &∃∋ ! −+ 2 : #! ! ∋ ?7 ! ; ! ∋ ( ! 3 ! ( # − 2 ≅ :0# ! ; :− Φ; :7 = ;
& , && # ∋≅ : !−+ ; − & ! ∋ ( ! ∀ # & 8 ! − ! ( # ! ∀ ∋ ! # ( # ! #! % ∋( ≅ : # ∋ ! &
∋& ( ## # ! ; :/ ! ! ∋ ;! ∀ :2 ! # #∋( & ; # ## ( ) ! # ( − & &
( ! ( ! #
) ∋ −+ ( :2 ! ! ( ( ! . ! ∋∋∋ ∋ ; ∀ & ! −+ ∃∋ (
! # # ∀ ∃
! 7 ∋( # ∗ . ( ! ! # ( # ! ! ! ( : ! ∃ ! ! # ; : −+ ; : ! ∋
# ;! # ## : 2 ! ∗ # !
; ∋ # ) ( # ∋ ) &∋ ( )& & ! ( ! ∋ ∋ −+ 4 ! # % !
# & ! # ) &
& ( & ∋ # ( !
!! ∀ ! & ∋ 3 ! ) # ( )5 5 ! −+ ! ∋ ∃ ∋( ! 3 # ( Α#&∗ ∋ ! 0 2 ! ∋ ! ! &∃∋ # !
! ∋ ∋ ( 4 &&∋ # ) ∋ ## # Α ! & 2 ## 2 ! ∋
∋ ( ∋ ! ∃ ∋ # ∋( # ! ∃ !∋∃ !
! ( # ! ∋ ∋ ! ∗ #!
7 −+ ∋ &! 7 9 &∃∋ && # #∋ − ! ( # # −+ ∋ ∀ −## ! #! # ! # ! # ( ∋ ! !
# 4 # ∋ −+ # ! ( ! #! ∋) ! ) && # ∀ # # 2 ∋ #∋! # # &
∋ ( & 4 ( ) ∋ 4 ( ! &( & ∋∃ ! −+ : ;! # : ) ! 2 ! ; ∋ & ∀ ! & 4 ∋ ! ( ( ∀ # ∋ ! ∋
# ! ∗ . ! Α& ∗− ! )∃(
− / # ∋ ∋−+ # ! # ∋ ! # : ! #
# ;! : ( ! ∃ ∗ ∀ ## #∋ ! − ∋ , − ; ∋ ! 4 ∋ ! −+ − ! ∋ 0! ! ∗ ∋! −+ ! ) ∋ ! &∃∋ ≅ : 2 # ! ; : 4 ;! −+ :% !∗ Φ 3 ; :0 Φ; # &∃ ! −+ ∃( # ( #! (
# ∀ ## ∋ 7∋! &!∃ # ! ! ∋ ! ! ∗ # ! & ∋ ! ( # #! ( # #! # 3 ∋ ! #! & ! #∋( ! ∀∃& ( # # # −+ − # ) ! Θ## &( ! − ! 3 ! − ( # ∋ ! ! !∋( ∋ −+ 4∃## ∋ # ∃ − ! ∋ ∀& ! # .# −+ # !
! . ∋ . #! ( # ! −+ & # # ( # #! # ∃ ! ## ∀ # ) ! ∋ 4 ( . − ! ( # −+ 4 3 , ! ∋& ∀ ##! # ! ( ! # # 2 2 ! ∀ ### # ! 2 ) ! ## ! −+ ! ! 4 && 0 ! # ( ! ∀ ## . ! ) − ! &
& && −+ ! # ∀ ## # 2 # −
∋ ∋ ) # ! < −+
;! # 4 ! : ∋ # ∋ . , ; : ∋ Φ; : ≅ , #
)∃! &# ∋ # )∃ ! #( # ∃ ! # . & ∋ # ∋ ! ∋ ! ∗ # ( ; ∋! , ∋ ( ! # ( −
:− && #;! :− ∀ &&
! ! ! − 2 Λ ! )∃∋ ( ! − % ;!# # ∋ # ∋
# ! ! ( & ) ( & ∋ 2 &
∀ ! # ,# ! ∃ # !∋ , . 4( ! −+ 3 ! : Φ; :2 ! ! ! 2 (
! ! ∋# ; ! ∃ # ∀ ! ∃ 3 : #?; # −+ : ? 0 ! ?; # &# ! −+ 4 # ∗ % && −+ ∋ 3 & ∋∋ ! ∋ !
! ∋ #∋ )∃ !
&
∃ )! ∋ ( ! # ! ∋ ∋ 9 ∋ ( ∀ &# ! ! ! ( ! ( # ! # ! ∗ ( ∃! ! ∗ ( ## , −+! ( 4 #
3 # 3 &#−+ ! 2
% ! 9 # ( % ,! ∋ & ! ∋
!# # ∋ ! ! −+ ( : ! # ? − ! ?; : Φ Φ; : ! Φ < ∋ ; , ! & ! / ( 3 # : ;! −+ ∋ ∋ ∋ ∀( ∋ 7∃ ! ΗΡ ∀ # ∋! ! ( ! & # ( ∀! # ∃ Α ( / # !# ≅
: Φ; : #;! , : ! ∋ ∀! ( Φ; ,∋ ∋ ∋∋ ( −+ ∃ ! ( ∋ ∋ − ∋ : ( #;! :0 # # ! ! # !
! # ! Λ # 2 ( # # ! 9 # ! ∗ ! . ∋ ∋ − ( , ∀ ! 7 ( # # ; : Φ # Φ; :7 ;! , ∋:Α ∀ 0 / ( !∀ ; −+ /
∀ ! −! ( % ∋ : ! #( ! , ∀ ?; :7 ! ;! −+ : 0 ∃ & ∋; :2 ! # # 4 0 # !Φ0 ( ϑ ! ! ?∀ & Φ # ! − 9 # & 7 ! # ! ∀ ∋ ∃ !7 ! ! # # ( # ! , ! # # ! # ∋( ! ! ( 9 # 7 # ! # ! ( (
∋ ∋ ! #! 7 ( ; 4# −+ ! ∀ !# : ! Φ;# −+ # : ( ; , ! 4 ∋ :7 ! ;! −+ : ∋ Φ; :7 ! 0 ∋ % ( ! ∋ ( 0 ! ∃ #∋ ( ∗ ( ; : ∃## Φ; :9 ∋ ! ! ?; ! ! # ! ( ! ( − # ∃( ∀ # 3 5( # # ∋ ∋ # 2 && # 3
∀ ### # 3 # ∋ :9 ∗∋ Φ; # −+ , :7∋ ;! ( , : ! # ! ! ∋; 4 −+ &
. )# 8& # # , ! ∃ ) ∋ ∀ # # #! ∋ ) ( # ∋ 3 , −+ ∋ :2 7∋ − ; −+ ∀ ( :9 ∗∋Φ;# : ∗∋Φ; , : ∗∋ Φ; # −+ (
, −∋ % : ;! :0 # 0 ! ∗∋ (
& ;
! 0 # ( ∋ 4 ∋ ∗ & (
4 # ## ! ∀ ( & 4 /
! . − − ! &# ! #! ∃ 0 3 ! 7 ( # # ! ! − ! !
!
∋ ! ∋ ∋∃ ! ( # # ) ( 7 ∋7 ! ! #6 ∃ ∗ ! ∋ ! ∃! ∗( # ∃ ! & ! ∋ ! ∋( !∗ # # !
&& 25 5 ! ∋( 3 # (
4 #! . ∋∋ 4 && / ∋ ∋ ! ∀ & ∗ ! ∋ ! − −+ −+ 7 ∋∋ # ( &&!Λ ( /
3 ! ∋ ∋
#
9∋ # ! ∋ # ! ## # ∋ &∋ ∋ ∋ 7 # ! ∋ ! 2 − ! # & ∀ ( / ! ! ( −+ 8∃! ) ∋ ∋ ! ! 3 ∋∋ : ! ( ! ∃ ;! &
:0 6 −∃ ! ∗ ! ∀ &# ∀ ! #
; : ; : ?; : ! ; : !∀ ! ?;# (
) ∋ ! # # ∀ ( # # ! #∃ ! # # ( , & ∋ ∋# ( # ! 7 ∃ − ) ! ∋ ! # 4 ! # ! / % ( # # ( ∃ # # ! % ( 7 ! ! # ! ∗ ! , ! ∋ ∃ ! ∀∋( ∀ ## 1 ∋ && !( && ( ∀ & ! # ∋ #! ∋ ## ( ! ∋
∋ ∋ ∋ 7 ! / ∋
∋ ( ! #
9 4 ( & ∋ 0 7 ∗ ! ∀ & 4 ! 4∋ ( − . ∋ ! )∃ ∋# !( ! ) ∋ ! # ! ∗) ∋ ) ∀ ( ∋ : # # ;! ∋! ∀ 8 # ) ∗ ! ! ∗ ∋ ! − ∋∃ ! ( # # (
#
:− Γ % ∗ ;! : )∃ % ! ∃ ; :% ∗ Φ < ; :7 ! ∗∋ % ∗ ! ; :9 Φ; Α## ∋ && ( # ! ) ∃( # −+ , ! % ∗ ! 2 # ( − & ( )∃ ! ! #6( % # 7 3! ∗ ( ∋ ! ( # ## ∋ ! ∋ ! ∋ ∋ ! # ∀ ! ∋ ! − # #! Α ∋ % # %
: ! & ;! ! # ! % / & #3 #25 5 ! ∋ % ∗ ∋& ∋ . ∋ 7∋ ( ! − ! 7 #
∋ ! & & ! # ! ( −+ # # & / ∃ ( ! # .# 3 ∃ ∀ # ! ( # # %&& ! ) . ! ∋ ! ( # Α 4 : Φ # ( Φ; # ! !
, ) # ! # ∀ !
3 # !
∋ ! ( # & 0 ! , ! ∀ ## ! ∗ ! # !# ! / ## ( # Ε ! ! # #∋ 7 ∗ #( 0 4 ∋2 :∃ ! #;! 9 ( #: 7 Φ; ∋ ## ! # &
∋ . ∀ ##( # ∋! # ( 3 ∋ && ( : −+ Φ; :2 ! −+ ∋ % ( ; , &
∋ : 0 ! ∋ 4∋( ! ∃ ; # 4 # ) ! ! : Φ
! ; && ! ∀ : −+ ;! ! : &∃ ( ( ∋ Φ; :7 ! ; ! 3 ∋ ∀ ##( # % !. % ∋ ! :0 ∋ ;! :− ∗ # ( ! ; :− 0 ; ∀ # !
! / ( :0 # ;! !: ! Ν; 9 # ) # : 9 ! . / ( ∗ . ! 9 ∀ ( − ∗ ∋ ∗ ! ∋ %# ! 9 0 4 ! ! # − ∃ ! # ∃ ( #∃ ∋∗ . ! ! # ∀ #( # ∋ ! 2 3 ! !
! # ∋ !
! (
2 ! & 0 ∃ ∋ ! % ,# ! ( − ∃ ! & ! # ∋ Α ! ∋ ! ! ,#! ∀ ## ! .
∋ ! ∗∋ ,# # ,# ! # ! ! ∗∋ ! ! & & ∋ # & ∀ ##( ! ! ! 4 ( ! ! ∀ 3 ; ∀ ##! ( ∋ ! ∋ :2 # # ∗ ! # 8 # (
! # 4#!
# ! ∋ ! ∋ 4 ( ! ! ∀∃ ! 9 4 ( # < ! ∀ ?
∃ 0 # # 9 ! ! ! 4 # ∋! ∋
∃ 0 ! ! ! ∀ # ! 3 4 ! − ∋ ( ! # ; ! # − ∋ :− ;! ! : ! 0 ( ! # #∋ −
∋ &! ! ! ! ∀ ! ∋ ! −
! ! ! � ! &&4 #! ( ! # ∋ # ! −
3 && ∋ ! # ! # & ! Μ ∋∋ ! ∀ 7 & ! − & ! ! ∃ ! # & 9 ! 9 # ∀ ## ( ! ∃ ! ! ∗ ∋! # ! ∋ ! ( ∋ !
! )∃
4 & ∋ ! # ∋ # ! ( 3 ! ! Λ & , ∗ &# ∋ 4 & ∋ ( ! ∗ ( ∃ ; ! ∀ ## : ! ( ;! :9 ; :4 ∃ ;! :2 ! ! #( & #! ; ( ! #! / 2∋ 4 # ∗∋ ∋( − ! / − #
! ∋ # ! 9 # ∋ ∋ ( : % # ( ; : % ∗ Φ;# ( ##: ! ∗ 7∋ 4 ∋ # ( ! ! 1 ∀ # ∋ ! ; : ∋ ∗ % ∗
# ∃ 9
9 % # ! # ; :2 ∗ ! Γ ( ; ! ( ∋ ∋ ( ≅ :Α % ∋ ! ∋ 9 # ( #∋ ! # #! ! 2 ! !
∋# − % ! # −+ ! ! ( ! #∋∃ −+ ## Φ; : #;! ! : ∃! ; : ∃ Φ; 0 − ∋ ( ## ! ∋ ## ! # ( ! ###! ( & :0 ! ! −+ ! # ( !
! −+ ! # ∋ ! & #( ! ∋ ∋! & ! −+ 0 ∃! ! # ( ; 0 # ∋ ! : ;! (
# :− ! ∋ ; :0 ! ; : Φ; : Φ; − ! ! 9 ∋ ∋ :∀ Φ; 7 ! ∀ ∃ ∋ ) ( ) #
−+ ! ∀ ( ( # ! 3 # 7
# % ! # ) ! # ≅ : ! . ∋# Φ0 ; : ! ∗ 0# ∋ − ;
4 ! # :. 4 ;! ( :∋ ! ( ) ! # # ! 4 ! # & ; : # Φ; :2 ! ## # ; # ∋ & ) ! ) & # % #! &# & #! ∋ ( ∀ &# ) ! . # # # % ∃! 4 / ( ! ! / ( ! 8 8 #25 5 ! #! # #9 ) 25( 5 # ! − ( 7 ∋ ∗ ,( −+ # ! , ! (
3 3 & ∗ ! ∋ ( ∗∋! ∗∋ ! # ( ∋ ## . ( / # )∃ ! 9 ∋ &# ! # ! ! && % & ∋ (
# ∋ # )( ∋ ! !∋ ∀ # 0 # 4 ! −+ / ( ! #!Α( ∋ !
# !# ∋ . # ! # # # / # ! ! ( , & ∋ 1 !
0 ∀ # 25 5 7 ( # ∀ ! ∋ ∀ ## − ( # ! ( ! ∋ ∀ ! ∋ ! ( . ∋ && ! ∋&( #∋ ! && ! : # 6 % ! % # ! 0 ; : ∗ ! # % ∗ ;! −+ : ;! ( # ∀ ∋ ( ! ! && ) ∋ & # ∋ ! ! 4 :− ! ; &# ( #
: # ; :− ! 6 ∃ ( −+ ( ;! : !−+ ; −+ 3 ∋ ) ∃ ∃ ! # ∀ , ∋∋ : ! ;! ∋ : ! # −∃( ; : Φ; : ; :Α ! ;! # ∀ !: ( 7 # ∗∋ ; −+ ! ∗∋ 7∋! , # ( − 0 ( 4 ( ) , (
: ! ;! &∃∋ ! −+ :0 ! ( ; : # ; ∀
! ! ∋ : ! ∀ 5! ∋ 2 # #! ) # ! #( # ( ;! ! ∀ # ( # ∋∋: # ! ∋ ! & ! # # !
∗∋ ∋ ## ! ( ! % ( ∗ ∋ ; & ∋ ( ∀ # !
##−+ ! ) ≅ : # ! ( & ; :2 ! ( ! ; : Ε Φ; :7 ; −+ # # Φ & Φ # ∋ & ! #∋−+ : ∃ ∗ ∋ ! Ε 3 # ; : # ! ∋( ;!&# ) : # ; : ; : Ν; # ∀ ∋
: ∗ ! # ∋; : ∗ ;! −+ : Ν − ?;
9 : ∗ ;! :)
# 9 ! )5 5 Φ; : ; Φ 3 ! 9 ( ∋ 3 # ,# # ! : 4! &∋ ! Ν Φ; ) ! −+
! ! # ∗ ! −+ ∋ # ∋ ( #. ! #
4 ! ∋ ! < ∋ ( ! ! ( ∃# Ν ! 9 ∋ % &# #! ! !
! # ! ∗ !
# ∋! ) # ! ≅ := ! Φ; : ; −+ ## ! ! −+ ! ! ( ∗ & ! ∗ ∋ # ( . # !
# ∋∋ ! ≅ ! −+ ! # . ! ! ∋ ( ! &∃∋ ≅ :2 ∋ ∋ #! Ν; :0# ! # ;! # Α −+ ! ∋ ! 2 ∀ 5 (
! ∋ ( : ( ; ! ! # ! ## ( ! ∋ Λ ( ! ( ! −+ ! : 4 ;! # : ! 7 # !
# & ! (
! ∋ 9 # ∗ Φ; #−+ ∋ :9 ; −+ #7∋ ∋ # ∗! ! : 4 ∋ ;! ∃ . ∋ (
:Α ; ∀ ∃&# ∗ ∋ : ∗∋ # 9 ## < !−+ ! ( # ! # 4 ∋ #∃ ( # ! ∋ ∋ ! ∋ ∋ 2 ;
∀
# / 9 4 # 3 25 5 ∋ ! −+ % ∋ & ∋ ( !# 4 & ( ! 2 / − ∀ ( ! # 3 #! ! % ∗ % ! ∋
& ! 0 ∀ ) ∋ ! ,# ∋ −+ ∃ ∋∋ %## # # ( ! # # ( ∋ ∋ : ! 4 ;! ( : ! ∋− (
# ; & # 3 − −+ ∃( ! # ∀ 5 # ( # # ∋ ( ) ∋ 2 ( ∀ ,# # ) < ∃ (
∋ ∋ / ! ∗∋ ( ∃! Α # & ( −+ 2 # !
!
# 25 5 ! ( ∀ &# / ∃ ! # 3 # ! ! ∋( ∋ ∋ ! ( ! ∋ 4# ! ##! ! ! 7 ∋∋ ∋ % 2 # # ! ∋ ∋ ! ( # # . ! ! ∋( ∗ ∃! ∋ 0 ! (
∋& ! # ,
− ! ! ∋ Α( ? 0 # ! 9 ! . && #25 5 ( 4 ∋Α !( # 4 ∃ ( # ∋ ! ( ∃&# ∋ ! ∋ ( ! − ( 9 ## ! ! ∋ ∋ ∀ 5 #( ∀ ! / 2 ∋ ! # ( ! ! ( ∋ ! ! ! ∋ ( ∋ # ! ∋ − ! 7 ∋
3 ! 3 ( 7∋!−+ ! ! 2 ∋ ! 2
! # − ! . ( &# 7 ##0 ∋
&! ( ) 4 # ∋ 4 && &# 2 4 # ( # ! ##&( # # − ∀ ∋ ! #∋# , ! ∃ ! # :− ;! ( : ; # ! −+ 3 # ∋ : Φ; − !
∃ # ( ,# # :. ∃∋Φ; . ∃∋ 3 ! ∋! ∃∋ # ! #∃&# , ∋
! ∋ ! ! ∋ : % ; −+ # ! ∋∃ :# ;! # ! ∃∋ !# # ( # :9 ∋ Φ; ( # ,−+∃## ∗ − !
! ( :2 ? ∃ Ν Ν; 3 ! ! ∋ − ! 4 && ∋ ∋ & # ! 3 4 ( ∗ #
≅ :. Φ Ν; 3 ! ∋ :2 ?; 3 ∋ ! 3 ∃∋ ∋ . ( # ∃ ( # ! ∃∋ ∋ − ∋ ! ( ∋ ! # 3∃ ! ∃∋ ! ! ) ∋ 2 ∃&# # ! ,2 ,! −+ 9 ! ,? ! , ΦΑ # ! , #( # Φ , # ! # # ! ∋ − −+ ! ! , ∃∋
! −+ 3 ! ∋ ∋ ∋ −+ ) ( ! ∋ # ! ! ∋ ∃∋ ! ! # # 3 ! −+ ! ! Ν & & ∋ # ! % # ∃∋ :0 ?0 ( ?; , # ∃∋ 9 − ∋! /
! # ( ∋ Α − ∋ ∋ ( ! # ∃∋ )! 3 ( ) ! ) :7 ;! ( ∋ : ; #∃∋ &
( ∃ & . # :0 !
9 7 ( 0 ; # ∗ 0 ! −+ # ! ! ( & ! :0 ∗∋; # 3 # # : ! # ;! ∋ : ( ! # ; ) ( − # # ,#
∀ 5 ∋ # # ( ! ∋∃ 0 − !
# ∋ & ∋ ! # 3 & ! ∀ −+ ! # . # ) ! ∋ 3 ∋ ## : # Φ;
3 ! ! ∀ ! & # : ∋ % ∗ ; :% ;! −+ 4 ! ( ∋ ∋ ! 4 # ∋ % ! ( −+ ∋ !
! 3 #! # # & # # # ∋ ∋ − 3 ! ∋ &∃ ! # & ∋ ! ∋( # ! ∗∋ . −+ #6 ! !# ! : Φ; : ( ! ∋ ( ; −+ ##! ∋
:! % ( # ∃ # ( ) % ∗ ;! # &∋# 8 < ! ! , 4 && : ! Φ; # #! , /( : # ! ∋ ; ∋ ! ∀ # : 6 5∗ ( ; : Φ; : Ε ∃ # ; : ! ; ! # ! ∀∋ ! ∋ ! , ! & % # ( / # ! )∃!
0 ! 7 ∃ ∋∃ ∋ /∋ # ! % ) #( ! ∃ ∋ ! # − ∋ # ! ∃ 9 # & / ( !# ∋ ! ! ( ! 7 % % ∗ ( # ∀ ! ( ! 4 ∋ ∗ ! ! ∋ 9 ( ! ∋ ! % ! & #∗ % 8 )∃ ( ∃ 4 ! ! ! # ( % ( # ( & % ( ∀ 5 ! !
∋ − ∋ #! % ∗ ( ∃ # #∋ −( ∋ − ∋ ! . ! ! ∋ ∋ ! ( 3 ∋ & ∋ # ∋ &
− ) % 2 ∋) ( ∋ # ) ( # # # − ∋ % ( ∗∋ 2 % ! ( ∋ # ( # 4 ( ∗ ! ∋ 2 : # # ;! : # ∗ # #; : % ; : ## Φ;
& # # ( 3 ! − % & & :! ; ! ∋ ∋ ! ∋ ! ∋ ! 9
% ∋ # ≅3 !,!(
−+ ) # ∋ 3 ( − ( 2 ! ≅ : # ; , ∋ #! ∋ 3 # # ! ∗ 3 ( # ( &# . % 3 ! ! # & # ! . ( ∋ ! # !
# (
Ε ( −7 # ! − ! ∃ & ∋ # −! % 4 ∋ 0 ! % ! ∀∃&# ! ∋ ∗ % # ( − −
! # ! 3 &# &
7 ∀ &# ∋! 4 ∃ ! ) ∋ ∗ ∋∃( ! # :− 3 ?; ∋ ! ∋ : !6 Φ; : )∃∋ ?; = 0 #∃ ( ! − ( ∋ ! ∀ #
) ! # ∋ 3 9 % ! ! ∀ # ∋ ∃ 4! ∋ ∗∋ & ! ( ! # / # # ! ( & . # ΦΑ! &?& 2 ! % ! & ! 7 4 ( & ∋ ( # ( ! ! 3( ∋ # ∋ #∋ ## ! ! ( !∋ / ∋ ! #∗ ∋ ( ! ∀∃&( # ∀ ) !
&
∗ #∃ ! ∋ 3# % − < !% # ! # 2 &
& ! #! ! / ! # 2
# ! #∗ ( 2 # ( % ∋# )5 5 ! ## #!∗ ! ( ∀ # # ∀ &#∗ ! ( # ## # ∋ # 9 ! ∗∋ ! ( # ) ∋ # # 3 # ∃ ∋# ! ! 2 ∃ 2 −(
! 4 # ( ) 4 # ! ( ) ∋ ∋∋ ∗ ! 4 ∋ Λ( ! ! # ! ∋ % 0 ( − )! # ! ∗∋ ) ! ( Α # ∋ ) ∋ ∋ ! # ∃ ! ∋ ( # ! ∋ &# ! 7 ∀
3 ∃ ! ! ! ( ∃ ∋ ! ( ∋ ! ! ∗∋ ! && ! ) ( ! . ∋ & ! ## !
! 9 ! ∗ 3 & # ∀ ! && ∀ ! # !
% ∀ 5 ) ( ! # ∃! ! 7 ) ( ∋ ∀ # ! ∀ ! 2 − ( −
# ! & # # ( # # # ∀ ( % 2 ! # ∋ ! ∋ / )! ( ! ( ! (
!
∀ &# ! 3 # ( 0 # ! # % ! ( 9 # 9 :0 # ∋! ( ; & !# # ∋
: ;! : Φ; ∀ &# ( ∋ . ! : # ∃ ; # 4 && ! ∀ # − 2 : & ! ! # ( ; ∋ ! ∀ & ( ∀ ∋ Ε # . & ∋
# 1 !
∀ &# ! ∋ ! # ∋ ) ! ∋ ∋ 0 ) % ∋ ! ! ∋ ! ∃ / 4#( ! ! ( &# & # ∃ ! 4 # − & /
# ∋ Λ ! ∋ 3 −+
% # % # ∋ ∋ ! ∋ # ! ∋ 3 ( ! ∋ & #!∋ # −
)&& ! ∗∋ # # ! ! ( % & 3 −
(
∋ % ) ! ! ∋ # ∃ ∋ ! ( ) ∋!∋ ∋ ( ! & ∗ # # ! & # 3 ∀ 5 # − # ! ( # ! − ∋& − ( & % −+ # ! ∋ ( 7 ∃ #( & ∋ #8( & 9 ! ∋ ! ) ! ! − # ∋ ( ! − ∃## ! ∋∃( ! ∋ − & ( # # # ( ! &∃∋( # ,&
∃ 0 − ∀ & ∋∋ # . ! −+ ! ∋ ∋( ! ! ! / ∋ ! ∗∋ # 3 −
∋ ( ∋ − ! # ! Φ ! # ! ! ∀ # ! ## ∀∃&! ∋
)&& −+ ! ! ( ! &&∋ − & ∃ ,3 7∋ % ∃ 0 ! ∗ # ( ∗ − ∋ ∋ # ! ∋ ∋ Α (
/ ∋ − ! ! % ∃ ∋ 9 ∋ ∗ 0 − 4 ∋−+ ) ∀ 3 ∀ 5 ∃ 4# 3 # % ) ! ! 3 ! 7∋ # ∋ ! # ) ( ! % ∀ ! 2 ∃ 0 ∋ ∃ ∗ % # ! % 3 −
% ! & ! # ( % ∋ #! −+ !
: Φ; −+ ##∋ ! # ( ##!
3 ∀ 5 ∋∃ # # ! ∋ ) # :0 ∃ ( 9 Φ; −+ ! ∋ : Φ Φ; :2 ! ;! −+ :0 0 ! ; # ( # , %
∃
# # % ( ! 3 −
% # ! ∋ ∋
. ∃! 3 ∀ 5
∋ ( ! 4 ! # # % ∋ − 4 3 ! 4 ! ∋ 2 # ∋ ( ## ! ( ! , ∋ , ∋ ## ! ∗ ! −+ ( ∋ ! , ( ! #( ∋ ∋ # ∋ #, ∋ 7 & ∋ ! ∋ ∋ ( ∀ & ! ∋( ! , ∋ 4 ( # 2 ! ( ∋ ! −+ 3 ( &# # !
! ! ∋( ∋ ! ∋ 7∋ ##∗ 4 ∋ ∀ ∃&# 3 ( ! ∃, ( − ( ) !, # 3 &#! ∀ % ( !
∋ : ! 3 ∀ 5 # ∋∃ ;! ∗ , ) ∋ 4 ! − ! # ∋ ( ! ∋ & ∋! ∋ #6 # ∋ ( −+ ( :0Ν & Φ; : # ∗ ) #
− ! ; ! # :0 Φ; : Φ; :2 ! ; :∀ ;! #!
, : ! ( ∃9 Φ; :∀ # # Φ;# # ∋ ,# ∋ ∀ 5 # ∋≅ :0 ∃ # ( ; # && ! ( 4 ∋ :∀ # Φ;#( 3 −+ ∋ ( # ! ∃ # & # ∃( ! ( ,∃∋ ! . ! 3 4 / ∀ 5 ∀ # # ( (
! #! ∃ ( )−+ ! ∋ 2 = ∃ ! ( ∀ 8! 7 ! 8 ∋ ( 4 # −+ && 4 ( ! # ! # : 9 ;! ! − ! Α ! ≅ :− ) ? # ∋ ?; 3 ,# # % ! ∀ ∋ # & ∋ ! & : ∃;! ( # : ; : Φ;# !
: ; # ∀ &# ∋ − ! ∗∋ !
: Φ; − ∋ # ∋! Μ ∋ ∃ ∋ ! −+ #! ( ! # ∋ ∋ ! # ## # ∋ :∀ ! & Φ; :0 ∋ & ;! ( ∋: ( 10 ; ! # % &# ## ! ! # # ≅ :7 ! ∋ ! ∋. ! ( (
∋ ∃! ( & ! ! Ν∗ ! #Ν; 7∋ #! ∗ ( ∋ :9 Φ; : ;! ∀ ∋ :7 ! & ;!# ( # ∋ :0 ∀ ; # ∗∋ 4# ∋ ,# # # & # ,# :! #Φ; #−+ : # # ?; :2 Φ; :0# % # ! ∀ & 0 4! &# ∋ ; : # # ?; # : ! 4 0 ( # #
; # & ∋ ! # ∋ ! ( ∀ #& ! &∃∋ ∋ ∃ .( # ∋ ∋ ! ! ) , ∋ # ! ( : % ∋ #! ;! # # :− % ∗ ; : % #( # ;! −+ ! & ! :− % ∃ ! ∋ ∋ ! − ∋ ! 4 # # ! ! # ! #?; :∀ ?; #−+ : ∋ Φ;# ( ∋: !( ! ; −+ ∗ &∃∋ # !
# ∋ ! # ? ∀ ! ! ( ! & ! − ∋ # ! 0 # ! ! ∃ ! # &# ! 9 ∋ # ? ∗ ! # 3% # 2 2 ! ! ∋ ! : ;! 3 :− Α 0# ! ;! ∀ ! −+ ! & ## ! : ! ! ∋ ! 4 ! ! ( ! ;!#( ∀ ∋ (
! ∋ ! ∃ # ∋ 3 ( ! ! , # ,# ) ) # : ;! − ! % : ∋ Φ; −+ ∗ − ! 4 ( ! ∃ ∋ # ,# ! ∋ , ( ∋ ! ∋ # ! / 4 )∋ : & ∋( Φ; : ∗ ;! ( ∋ ( ! : ∋ ∋ ! ∋ !
% ∗ # . ! . ! & 4#∋ ∀ ; ! ∋ ! % : ; : ∋ & ( & ! ( ∋ Φ;# &∃ :0 ; # : ; 3 ! 4 ( : Γ;! : & ! ∋ ! ∀ # ∀ &#; −+ ! 5 ! ! # ! # 0 ( ! ## # ! # ( ! !
, ∋ ! ( ∗∋! & (
,# ( ! ! ## ∗ ! −+ ) # 9 & ! ∀ ∃ : !9 ,( ; Α ∋ & ! ( ! ∗∋ ! / ## # ∀ ∋ 7∋ & # ∋ − ! − # 4
! ! : ! ?; ∋ # :− ;! , −+ ∃ :9 ∃ # ∋ ∃! # ?; (
∀ ! ∋ : ∋ ! ?; : ! ∗ # # # ;! ( ,# : ! ∀ # # ! Φ; :2 Φ; #! 4 # # , ∋ :∀ & ) !
∋ ;! 2 ! # ! ∋ ∀ ( / & & ∋ . / # / ! # ∋3 &( &! ( , ! ∋! / ∃ ! ! − ! ( ! ∀ ∀ / ! ) # ( ! −
∃ / ! ( # . 9 ∋∋ . ! !
# . 3 ∋ # ! # ? :2 ! ;! 3 ! : # # ) ∋ ( / # ;! # ∋! ) : ( ∃ # # ! Φ !−+ ! ! Φ; Φ = ( ∋ ∀ & ) ( ! 3 # ( .∃# # # # ! ( # # #3 :7 ! / # ; ! : 2 ∋ # ( # ;! ∋ ! ( :9 ! Φ; :− ?;
# # : Φ; # 3 ! −+ ! ∗∋ ∋ ( 3 ! ∋ ! # : ?; : Θ ; :7 ! & ;! 3 !: # ! ; : ∗ ## ?; :7 ! # ; : ! Φ; ! −+ ( ! . ! ( ∋ . ∀ # & 4 # ∀ ( / /
: # 2 ;! ( ! :
# ! ! ! & ; ∋ & ∋∋ ! ( % !
∋ # ! 9 ∋ ! # 7 ∋ % # ∋ ! ! ∋ ∋ % ( ! ! ∋ # :0 ∗ ∀ ? ∋ − ;! #6 : % # ! # ∋ ∀ Φ; ∗ ( #. & , !# .( & # ! % ( ∋ !∋ # ( ∋ :0∃ 25 5 ( ! ;!
∋ : ! ; 2 ! Α ∋ ∋ :−# ! ∃ ; :− # ! ∋ ; :0 ?; :/ 7 & ;!
6 5∗ ! &∃∋ # : ( − ! ?; ∀ /! ( ∋ Α ∋ ## ! ∗ ( # : ! ! ?; : . ! # ! ?; 6 5∗ # ∀ & ) :. ! ;! 3 : ∋ Φ; #! 3∃# ∋ ∀ ) 3 ∋( # ! !
∀ ! :. ;! ( # #! ( ∋ ∋ ∋∋ ! (
# # ) 4 ∋ ( #! ∋ ∋ ! % ( # ! ∗ ∀ &#! ,−+ ( % ∀ # && ∃&# ( # ! ∀ &# ∗ ∀ ∃&# ! #( # : − ∃#;! # # ! ( ∋ ∋&&:7∋ ∋ ! # ,# ?; &∃ # ! & # ) ∋∋ # # ∋ − − & ! #9 ! # ∋∃ ∋ ! ∃ & ( , ! ∋ ! # − ∋(
! # # ) ∃ ( ! #∋% ( ! ) ∃ : 4 #( # ! ∋ ! − & ! ! ∃ 04 ∋ ∋ ## ∋ ; # 3 & ( ∋ . 7 ! 3 ! ! ! − ! 4 ∋ ! # ∀ ∋ !∋ , & ## Α >(
) ∋ ! , ∀∋ ∋ ! ! ! ( ! ∃ ! ∋ ∋ # ! )! ! ≅ :0 ( ! , ; 7 . # ∋
∀ ∋ − !∋ ) ∋
∋ ( : !6 Φ;# # ! ∗ 3 ) )∃∗ ! ( ∋ ! ( 3 / 4 # ) 2 # ∗( ∀ ## ∋ ! ! ( 3&! # ) && ∋ 7 ! 7 ( # ! ∋ ∋ #! : Φ; # ( #! # ∀ ∃ ∋ #! # ( : Φ0 ( ;
: ! ? 7 ! ( ∗ ( ! Φ; # ∃ ! ∀ ( ! ) ! ∀ :9 − ;! ∋ :9 ∋ ! 0 # % ; : ! 2 ! / ; ∀ ∋− ( ! # ≅ : # ! − Φ; :/ ;! 3 :− ! ∗ ; ∀ ! # ∋ ∋ ∋( ! # : # Φ; : ; :0 7 ; : ;! ∀ : % 3 ;
∋ 3 # ∀ & ∋! ) #! , 3 & ∋ :0 ! Φ ! ! ) ( Φ; # , # (
: Φ; # , −+ :0 ( 4 #! ; : ∃;! : − ∃ ; ) , 8 ∃ ∋ = ! ( : ! ;! ( :∃ ! ! ( ∋ Φ; :0 2 0
! ∗ ∋ ∃ ! ∋
3 & ∋ ; ∃## 3 ( , −∃ ( !∗ ## ∋ ! ∋ −+ ! ∗ ∋ #− & # ∋ ! # ∀ ## ( 2 !∋ & & ∗ ∗ ! 7∋ # 4# # ) ( ! ( # 3 ∋( # & ! ∋ 7 # ∋ ! ( , ! : ; :2 ! 4 ;! # ## # (
. ! ∋ ! ( ∃ / ∗ : ( ∃ ∀ ! 0 ! ! ∀∃& ! # ( ; : ! ? ∃ ! ∋ ! ( ∀ ∀ 2 &# # # − & ∋ ! ∋ / ; ∋ ! : # / ! ! #6( 4 ;! 3 ∋ −+ : ! # ( ! ) ; , ∃
! # ! ( ! #! # # ! 3
−+ #∋ ! 2 # ( ! # ! 7 2 ( ∋& : 2 7 ;! : ; :0 Φ; −+ ! ! ∋ ! # ! ∋ 0 # ∗ # &
: ! ;! :7 Φ; −+ − !∋# 0 # ∗
! ! ! : ∃ # &# #
2 ∗ Ν ; :% ;! :,# # # 0 ∗ ! ! ! ∋ ( ; 2 # ! # #≅ :)
∋ ) Ν; , # : ! ( ## ) ! ∃ # ; ! −+ : ∃ ;! 4 : ∃ ; − & ∋ ∀( ! −+ ! ! ( ∀ ∋ # Φ ( 0 # ! ! ∋ # ) ! ! 0 % :0 ! ! ;! # ! 4 & ∋−+ ∋. ( #! & # : ?0 ! 0 # ?; ! & ∋
# & − ! ( # ! 9 ( # : # ;! &# Γ ! & 2 ! ∃ ∋ ∋ ∋ 9 & −+ ( # − & ∋3 ∋ ! ( 7 −+ ! 2 ∋ ! # &# ! ∀ ( ! ! ∋ & ∋ % ! ∋ & ( ! ( ∋ ! ! ( ∋# !∋# # ∀ ∋
∀ ∋ ( # #3 ∋ # ! ! ∋ 5& ∋ 3∋ ! ## ) # : # / ; 3 ! !# ∀ ∃ # −+ ∀ ## − ∃ ∋ 1 − & ∋ ∋ 4 # ∋ ! ( # # ∀ ! # ∋ # # ( ∋ ∀ ! ! ∋ : ∃ ) ! /#( ; ∋ # ∃ ∃ ! ∀ ! ( ∃
∋ ! ! ( ∋∋ ∋∃ & 0
∋ ∋ ∀ # # − ! ! , ! ,
# ! / ∋ −+ ∋ ∃ ! ! ( ! ( ! − ∋ # ! 9 ( # # ∋ ! − ∋ & ∋ −+ ( ! & , ( ! !
# ,−+ ∋ , & ∋ ( / ( ! 2∋ ! ∋ . 2∋ ! . ∋ ! ∋ ∋% ## ∃ # #
/ − ! # 25 5 ∋ # , − ! ! ∋ ! − ( : % ;! Ε! ( ! ∃ − ( # ∃ ( ! :0 −+∋ Φ; :2 ;! , !: ∗ Ν∗∋ ∋ ! Ν; :0 ∗ Φ; Ε
: ; , ∀ ∋& ( ! ∋ ! ! ∋ − ( ! / ! ( ∋ ! ∋ −+ )
) ) # ∗ ! ( # : & , −+Φ; :7 ! ;! ,
# ∀ ,∋ : ∗ & ; :− Φ; ( / ∃ ∋ : , ∋ ; : ;! ,! # ( ∋ ∋: # ∀ 7 Φ 4 ∋ ∋ ∋ / ; # ! # ∋ :2 ! ∀ & ∋ 0 7 ! 4 ; # 7 ! ## : # − ( Φ;
2 ! ∃ ,∋( ! # : Φ; ∗ ∋ 4 # # / ! 7 &# ∋ :2 ? −+ Φ; :7 ! / / &
7 ; 7 4( ! ) ! ( ∋ ≅ : 9 # #3 ( 5# ) ( # ; ,∋ ! ( ! ∗ ≅ # ( ? 4 ! ∋ !∋ ! ∋ ∋ ! ∗∋ < ∋ ∋ :7 ! ∃;
:7 ! ;! 7 : 9 ∗ # ! 9 ∋
∃ ; 0 ## ∋ 7 # # : ! ( ) # ;! : Φ; ! ( ! . ! ∋ :7 ! # ) ! # / ! ! ! ! ! ( ; :7 ∗ ;! ,!: ∗ ( . ; 7 &# ## ! ∋ # ∋( :2 ! (
; , % & !( ## ! . ∗ : ∗∋ # ;! 4 &∃∋ 0 ∋ ## ( ∋ ! ( ( 3& #∋! ! & ( # ∋ : ∋ ∀ & ( ! − ∋ , ∋ ∗ ∋ ) ! 2 # ! ! % ! ∀ & / ( ! ;!# ∋!
, ∃ : ! ( ! ( ; : − ( ! & &
% ∃ ∃ ; 7 ! ∋∋
! , ∋ − / 4 # :9 ∋ Φ;# : ) 0/ !
; : Φ; ) % ! 8 ∋ # ( ! : / ! ( # ; : ∋ ∋; : − ) ( . &
∃ ∀ 4 ∗ ; , ## 4 ∀ ∋ ! : ( Φ; :7 ;! 7 !: ! ! ) ! #; : ;!# 4
∋! ∃ ! , ( : ; :2 ; 7 ! , ! # (
> ∗ 3 ! # ( & ) :/ ) ∃ !
) # ( Φ; :7 ) ! ; ##! ∗∋ 2 #! #( # 4 ( ! 2 & : Φ; : Φ;# , #∋( ∋ ! 4# : ! Φ; # 7 : 2 ) ; :2 Ν / ∗
; 4 2
: ! # ;! , :0 # ∋ % #∋ ; #∗ ) : # ∗ . ;! 4 :2 ! ;! , : # ; : ) ! ( ; & ∋ ! 3 ( ∋ ( ! ! ! !#) 4 ( :0 0 # Φ; :2 ? Φ; :0 % ∗ ( ; # 4! # ! ∋ # 4! 3 5 #∃ ! #∋∋ ≅ : # % ∋ 4 4 ) ∗∃ % ! ∗
! ∗ ∋ ) # ∋ % % Ν; :7 ∗ ;! 7 ∋ − 9 : ( # Φ; :2 ! ∋ − ∗ ( # ; ! ##! ∃ ! 7 # ∋ ! −+% & #!# ≅ : ! % Φ; : # ;! , ##! ∋& ! ∀∋ :/ ∗ ! 0 4 ! ! ! # % ( ∀ ! Ν;# ! 4 ( ∋ : ∃ ;! : ∋ (
! . # % ! ) ∋ . #! ) # % ! &; :9 ;! 7 :2 . ∋ ∋ ∋ 9 # # # #∋
; :9 ∋# ! ( ;! 4 : ! ? Φ 0 # ; :9 ( Φ; :2 ; ! / ∋ ! # ! %( #2 . Ν :∀ ∗ Φ; ## ! ∋ , ! 7 ∀ ## ! ! ∋ . % # 4 & !
! :7 ! # # 4 / ( ; 2 #∋ ! 4 # −+ ! / ∃ ! ) ) ! 3 % !3 5 :9 / ; :/ !∗ ;! 7 : Φ; :2 ! / ( ! # / 4 ; 9 # ! :/ Φ; :/ 8Σ ! / ; : ! ;! 4 : 8 ! ∋ ; : ;! 7 ∗ (
: ∗∋ ∋∃ ; − &&0 # !# ,2 Φ # #4! ! #
∋ Α Φ : 0 % ∋ ( ;! 7 :Α ; ∃## − && , &&( ! ! , ! ∋ ( ∗ ! % ∀ ## & ∋ # # !
# &! ∋ ! ∗∋! ## ! ( # ! # ( ! ∋ # ∋
% :2 ! ;! : ) ( # ; : 0/ Φ; # 7 :7 ! ∋ ∗ ∗ ! ! # !
# ∗ / ; : ( ! ; :0 ! ∋( Ν ; 0 ∋ − ! ∋ ! % # : Φ; : ∋ ( ∋ ; &( # ! # % ( & ) ! ∋ 0 ∀ &#!
∋ % ! ( # !
# −+ # , ( # ! # ∋ − (
! # ## ! ) : ∋ Φ;# ,:0
; 3 ∋& #∃ ∋ . ∋ ! 4 # ! ( − . # ( ! ∋ ! , ∋ ∋ : . Φ; −+ ! 3 ∋ ! :2 Φ; / ! 4
7 ∋ ∋ , ! !
# ! # 4 ∋ 3 # 2 ∋ ∋ # Μ# ( ! # ∋ ! , ! & ( ∋ :/ − ;! :0 ! ; 3 ( ≅ : # ! 4 ) 3 5! ! (
! 2 #3 5# # # Τ ( & ! # ! ) 9 Υ! ∀ 0 4 # # . ! Α&# #) # ∋. ! ( # # , ∋ ∋#! ) ∋( ! # 4 ; : ;! 3 . 1 % ∋ ) ! : ∋ ) (
) ! ! ∃ # ; : Φ; ) # . # . ( ! : # Φ; : ; , ! −+ , ( 3 % &&! 2 ∋
:0 ; :0 ; :∀ # ! # ;! # . : # ! & ! ; :/ − ;! ( : ( Φ ∋ 2 && Φ; , ! 3 7∋ ∋ ! , ∋ ( # ! ! ∋ ! ∀ & ! ( Φ : , ∋ ;! ! / # ∋! :7 Φ; # −+ ! , ( % , ! , ∋ ! ∋ / ! (
! & 0 # ! ! !# # ( ∋ . ∀ &# : , ∋ ;! ∋ # / , ∋ ∗ ! # #2 # 4 ) #2 ! ( ! # ∋ ) # 2 ( ! ∋ 3 ( 5 : Φ;# ( : ∃Φ; #! 2 &&& ∀∃&#∋ , ! # 0 ! / ∃ : ! ∋;! :9 ! Φ; ∀ ! ## ( %
: Φ;# ∋ :7 ; : !∋ %#! # Φ; # # ! ( # ) ! ( :0 0 2 !
! ! & ! ( # ∋& ; ! ! ! ) ∋& : ∋ ;! :2 ! − ! ∋# ; :% ;! : ∋
0 ! ∋ # ∗ ! # ; 3 ∋ ∋ ( 4 ! ∋ = ( ∀ ! ! 4# 4 #
: # Φ ∃ ; :− ;! ∀ # ! ∋ :0 ! % ;! ∋ : ; : ! ( 0 # / ∋ 9 ∋& ;
! ( ∗ ( ! # ! ∋ Φ ! ( ! ∋ ! ! ! # :− #6 ( ! ;! :Φ; −+ &∃ : ∗ !
; & ! ∋ ∋ ( :0 ∃ ! ;! ∋ : )5 5 ( / ! ( ! ; # ! ∋ ! ( ! ∗∋# ≅ :9 Φ; Α ! ∋ !# # ! #∃ −∃ ! ∃( ∗ ! ∋ ! : && ! (
0 0 ( ! ## 3 ! ## 3 ∋; : ;! −+ : ∋ ; ! ∋ % # ∋ !
− ∋ : ( ! ∋ ∀ & Φ
; :0 ## ;
#:9 # ! ( ∋ ; :9 Φ; −+ ∗∋ :Ε< ∋ ∋; :/ # ! ∋ ;! # && ! # ! ∋( ! ( ∋& : # ∋ % ! ## ! 7 ∃ ; 2 % ∋ # ∀ # ∃ ( ! − ! # ∋% (
: ∃Φ;# ) :7 !# 0# ! ∃ ! ; ,( & ∋ : Φ ∋ % Φ; : ;! :0 # ( ! ! ∋∃ ! ∋ Φ; ∋ ! )∋ :4 . !
&& ;! ) ! ∋. % ) . ( ! ! ∋ :4 !,; , ! ! ( ! # : Φ; : ∗ Φ;
, :4 ; : , ∋ ∋#! ( ) ∋ ! # 4 ; ∗∋
) ∋, :∀ & !
∀ & Φ; :9 Φ; : ;! , : & ?; : & 9 ! ! & ; : ! 4 ( # ;! 3 &# ## ! − 2 ! # ! ∋. : 4 ;! ( : 4 ( 4 ! ! ( ! ( ! 6 5 7 ( ∋ )
3 ## ∋ ( ! ∋ ∋ ∋ ! # ! − %# # !
. ∋ ! ( ! 4 − # ) # ! # ∋ ! − # ( ## % && ( ∗ !∋ ∃ ! ) ) # ! ∀ ; ! , ( ∋ ∋∃ ( #,! ∋ ∋ ∃ ! ( 4 ∃ − ! ) ! , ∋ ∋ 9 ! ∃ ∃( ! ∋ )
! − ! ! # ∋ 6( 5 # ## Φ : , ∋ ;! , # ∋ ∋ 3 !: & ; : ; # ( :0∋∗∋ ∀ ## #− 4 & ! 3 Α ∋ Φ; :9 ∗ # ( ;! : ## ; :2 ! ; :9 Φ; :2 ; 3 ∋ ∋ ! ,( # % ( % #( ∋ ! ! ! # : Φ 4 ∋ ; :0 ; ! 3
: ∗∋ Φ ( − # ∗ ) ∋ ! Ν; :0 ## ;!# : ∋ ∃ ; :2 ;! :0 ; : ∗∋ Φ; : ; :2 ?; # ! &&( : ) ! ∋ ∋ ! ? ∋ ! !∋ 4 ∋ # − ∃ ! # ! ∋ ( ! 4 # # ! ∋ ∗∋! ! ?; 3 &# ( #
,# !∋
# % : # # ;! ( : ! Γ ! , ( ; / 4# , & # ∋ ! ( 3 # ( , #∋ ) (
! : ?; : ∋ ∃ ;! ∀ &# 3 ,( & :∃! ?; :0∃ ; : ;! 3 # !: ?/ ∋ ! ; :0 ;! :0∃! 0 ! ! ; : ?; ) : # ?;
: ∋ 4?; : ∋ 4Φ;# −+ :) ( ; : # ! ! ∋ Φ;# ! # # ∋ : !(
! # ! ( ! ∋ # ∋ ! ; : # ; :2 ! ∋ 4 # ;! # ∃ :0# % ! ∃ ∋ 0 !∋ ∋ ! ∋( ; : Φ;# −+ #: Φ; : ;! : ! ∗ ( ! ; −+ ∋ !
∋ :0 ! ;! & ( :0 !
, ∋ ) ; #!# −+ ∋ ! % :7 Φ; −+ & ! ! ∋∋ : ;! −+ :∀ ; :2 Φ; ∋ ∀ &# :2 !−+ ; : # ( ;! 3 # : # Φ , ∋ Ν; :− ? ∋ ! ∋ ∀ ? ∋ ! ; : ∋ ; :0 ! ? 9 ## ?;
# ∋ ) !
∀ ##∋ ! ∀ &# ∋ :9 ∗∋ ∋ ;! ∗ 3 # ) ∋
: ?; 3 Α &( # 4! ∃ ( : ∗∋ Φ ( ! Φ; : ;! : ∗ ! ; −+ #%&& ! ∀ # 3 ) ( ! # ∃ : ∋ ;! ) ! ∋( #−+ ! (
! ∋ − −+ %&& : Φ; :− ! ( ?4 3; −+ 9 ∋ :0 ! ;! : ! 9 ∃ ! 9 # ( ; 9 : ;! −+ :2 Φ; :0 ! ; ) ( # # − :7 ;! ! 4 ∗ . # ∋ : ;! −+ ∃! ! ! ∋ ∀ # # : ?0 ;
:0 ;! ! ( ∋ :0 ∋ ! , !∋## ! ∋ ; ∃ ! ( ! ! ( : Φ;# ∋ ! #∋ :−+ # ;! : ; : Φ; 3 ∋&# Ε −+ : ;! :
; ! ## 2 ! & ( ∋ ! ! : ! ;! :0 ∋ ; : ! ∋ . ;
:− ∋ ! ∗ ; 3 % ! # −+ 7 − ! 25 5 ( # # ∋ − ,∋ ! ! , 4 % ∋ ( ∃## ! ! ! 4 :0 ,( −+∋ Φ; 0 % ! ) ∀ &# ! − ∋ ! Θ## % ! # ! 7 # ( :2 ! ; : ∗ ; :7 ; ∃ ! ∋ ! ∋# :0 ;! / : Γ
Φ; : ) 8Σ ! ;! ( 7 # ( ! , ∋ ( ∋ ! # / ( ∀ ( ∋ ∀ ∋ % & ∗ & # 9 # # ( ! 0 : ∋ ( Φ; : ;! 7 ! : ∃ #9 ( ∋ ; Α ! ∋ : ∗ Φ; :9 ∃ ! ,( −+( ! (
!
# # ; :,Φ; ! # ( :7 ! ∋ # ;! 7 : < #!
#; : # ; :9 !) 8Σ Φ; :0 3 0 4 ∋∃# ; : ,( −+ ∋ Φ; :2 ∋ −+ ( ! # !
; : Ν Φ; : − # ∀∋ ∋∃# ∃
∋ ; :− Φ; :7 ! ∃ # , ∋# ; :9 ;! 4 &∃∋ ( # ∋ &# ! : ∃ ∃ ! ) 8Σ Φ; :∃ Φ ∋ Φ 0 ! ∃ 0 ∃ # ; : ;! 4 :− ; :0 ! % ( ;! / % ∋
: ! ∋ ; : ∗ # ∋ !) 8Σ ; : ; :9 &∋;! 7 : ; ∋%7 :9 # ∀ ;! # 7 ! % ( : # # ;! 4 ∋ !# ∀
! ( # ∀ # ∋! # ( # ! 4# ! ! ! ∋ ∋ ( ! # )5 5
! ∋ !
∀ # 5 #∃
) 8& # ! # ! ) & 0 ∋ 4 ! ∃ )5 5 ( ! . ( # % −
0 ) ∃ ∗ ) ! # ( ∗ / !
! # ! ! ( ! ! ( ! ∋ /8 ( # 3 ( # ! ! & ∃( ! ( 4 # ∋ ! ∗∋ 9 9 ! 9 ! 7 ∋ 0∋( ! !
# ! ∋ ! #! ! ( − ∋ # #4( − !
# ! ! ∗/ # ! ! −+ ! ∋ # −+ ! / ! ! ∗ & ! # # # ! # !
( ! ( ∋! ( # ! # # ! ( ! & − % & # ! &
7 ( ! ∋ ∃ ∃ ∗ # ! 3
! & ? ! ! ! ∋ ∋ ( ! ∋ ∋ ! # 2 1 2 1 ! ∃ ! # Μ 2 # / − ! # # ∗ ( − # ∋ ∋ # # 2 ∋ ∋ ! ( ) ∋ /8 % − Λ ! ∋ 9 ∋ ∃ ! −+3 ! #∗ ) 2 # − ( ! ∃ ∀ (
! ! ∗∋ # ! 2 −+ ∋ (
∋ 3 % # # (
( ! −+ # , &
∗ % &# 4#! − −+ ∗ 4 ! 0 # % ∋ # ! ∋ # : ;! −+ :∀ ! # % ∋ ; : ,;! # %
# / # & && ! ##! ∃! # 3 ∋ ( :4 ;! ,: ! ; −+ ∃ ∗ 4 !
( 2 − #!
) : ∋ ! ∋ ;! : ; : ! ;! (
! # ! # ∋ : #∗( ) ! ; : ∋ ! ( ,# && ∃ ;! 8 3 ! 3 ∋ ! # : # ! ∋ ! ; : ∃! Φ; : ; −+ # # ! # 8 # ∋ ! & (
:7∋ ;! ∋−+ : ∋ ! / # ∋ ; : Φ; :2! ; : ;! ,: ∃Φ; ∃ ∗ ) ! ∋ ! ∋ ! ∃ ! ! ∋ ! −+ ! !
! ! ∋ # : ∋ # ;! : 7 ∗ ! ; −+ ! 3 # % ( ∋ ∃ ∋ : 4;! :4Φ; :7 ! # 0 ∃ ∋ # ; ∋ 8 : #4Φ;
:− ! ( 0 ! # ; :& Φ ( # ! ∋ Φ # ( ! ∗ ; :0 ! , ∋ ;! 3 # ( , . ∋ : , ∋ Φ; :7 ! 0 & ! 0 ! Ν; : # # # ;! :
! # ?; 3 ∋ ! ( % % ∋ ( 2 ∋ 3# ∋∃ ( ! ! &∃∋ − ( ∋ ! ∋ # 4
∋ ∋! − ∋ ( # ( & # &# ( . & ∋ ! ∋ 3 ! & : ! ∋ 0 ∋ ;! Ε # : ( ;! : ∗ ! ∋ ( ; : ! ;! ! : ∀ & ∋ ; ∗ ! ∋ !# ∋ &# :4 ;! : )∃ ∗ / ; :9 ,( −+ % ;! 7 , # / 1
∋ ∀ &# ! 7 : Φ;# # :9 ∃ 9 # # ∀ &( ;! 7 ∋ : ∀ & Φ; ( ∋∃ : Ν;4 :2 ! ∗ ! # # & #∗ ) ) ! ( ! ∋ ! ! ∋ 2 && # ∀ & & ! ( ∀ ∋ ) ; : ;! # 7 ( # ∋ ! ( 3 4 ! !& : # % ∗ ( # ! ; ! 3 ≅ : ?;
:2 Φ; , ! # & ! ,# :0 ;! , # :0 ( ! Ν; : Φ; #,∋! 4 ( ! % ∋∋ : ;! 4 ∃ ∋! ∋ ∋ ! ∃ ,( −+ ( # 25 5 % ∋ : Φ Φ; , ! ∋ # ∋ ( ! #∋( ∋ ! ∋ : ∃ ;! : ! ∀ ## ;! 7 ! # &∃∋ ! ! # ∋ :9
∋ ! ,( −+ ) # ; :2 ! ;! : !
; # ∋! ( & ! ( ∋ ∃ ! , :7 ∗ ;! 4 !: 9 ! ∃ ( ! ! ; :2 ;! : ! ; ) ( 4 : ∗ ∗∋ − 0 ∋ ;! 4 ( ! : ) 8Σ & !0 ! ; : ; : ∋ ∋∃# ∋ ∃ ; : Φ; # 3 ∋ : ! ∋ & ! ∋ ?; : ! 4
! # ;! 4 :0 ∋∃# ( ( # ∀∋ ∋∃#∃ ( ! ∃ ! ∋( # ; # 8 4 ( ! ! ∀ &# ∋ 7 ! 3 ∀ ( &! &∃∋ : Φ;# #6 ( ∋ ! ∀ &# # & ∋ ( : # ! ∗∋ ; 7 ! # ! # ≅ : # #! ∀ ∃ ! − ## ! % ! ! # ∃ ; : !−+ Φ;# #! 7 ∋
−+ . ( # #! −! & #9 ! # : # ;! 7 : ## ; :−+ Ν; 7 −+ : Φ Φ; −+ ∀ &# : ∀ &&!−+ ;! # 7 ∃## − ! ∋ ( ! ) : Φ; : ;! ( : Φ Φ; :0 ! ;! (
: %# ! ( 0 ; : ;! 7 :
# 3 5 ∃! ) . ) )
∀ ( & # ! ∋ ! ( 0 ∃! & ( ! ∋ 9 & ( ; : Φ; : 9 # ; : Φ;# ∀ &# : 9 # # ∀ & & ( ∀ ( ! ∀ 9 ( ( # ; ∋! ( ! ! ∋ : ! ;! : − ! # ∃ ! # , ∋ 0 ! / # 0 ; : ;! 7 : & ∋ ∀ & ∗ ! . ; −+ # (
2 &# ∀ 3 ,∃∋ ∃∗ 4 : ,( −+) ( # % ;! 4 : # ; :0 % ?; , ∋ # , ∋ ∋ :9 ∋ ;! :0 % ! ( ∋ ? ?; : !∗ ;! 7 : ( # ! # % ! # ∋ ∋− ! ) Λ ##! % # 9 0 #; : ;! , ! : ! ( % ; ∗ ( ∀ #( −+ ∋! # ( ∋ # ! )
∋ ! ∗ ∋ . 3 ( ,−+ , ∋ ∋∋∃( , ∋ ( : % #
# ;! 7 : ∃ # ! ∋ ; : & ; 4 :∀∃ # Φ; : # ∋;! : ! ; : ! # ; ! # &
− # ) ( ∋ , :∀ Φ;# 7 :0 ! Φ; :0 ;! −+ :0 ( ∗ ∋ ! ∗ ; : ∋ ;! 7 .∃ −+ , ( ∋ 4 , ( ! &∃∋ # ≅
:0 # ?; 7 : Φ; : ! # ! & ;! −+ :% ∋ ( % ! 0 ; , ∋ ! ( # ! ∋ ! ∃ ( ! 2# : ! ∃ ! ∋ ; : 0 ( ; # . ∋ ∋ ! ∗ #4 ! # 9 ∋ −+ ! ∃ , ( −+ & # , ∋
# # ∋ ! ∋ . −+ ) 4 ( #)5 5 ! ∋ ( ! ∋# ( . ! ∃ ∋ ( ∗ #! ∋ # ! 3 # ∃ ! ! ∋ ∗∋ ! −+ ! ! !∋ ∋ ( ∗ 4 ∋ 2 ∋ ∋ ! Φ ∗ ( ! # Φ : ;! ∋ 4 ( ! :
0 ∃ & ; : ∗∋ . ∋ ∗ ;! ∋4 ∗ ! −+ # ( ! ( & &# ! ∗ ∃ 0 ! #! ∋ ( . ! ( % ∃ ∋ 4 # : Φ; : ∀ # 5 #∃ ! ! ( ; :2 ! ;! 4 ∋: Φ; : # ∋ ; , ∋
: ?; # −+ : ∃ ( # ! ?; ∗ ∃ % & : ?; #−+ : ?; 9 ( # ∋ , ∋ ∋ ∋( ∋ ∗ 7 ,∃∋ ∗ ∗ # −+ ) # ! 4 : Φ; # 7 : # #Φ; :0 ;! −+ : ( # ( ; 7∋# 04 ( % ! ∗ −+ ∀ ! ∋ ! ∋ 4# #
! 1 ∋ ( 4 # # )( ! # ∗ # &
#! 8&
# 3 # ∋ 9 ∋& −+ &
∋ & 4 : Φ; : ; ∋ ( −+ ∋ ∋ ∋ ∀∃& ∃ &# & & 4 # ≅ : 9 ? 9 ?;
! 4 ! && # ( 4 :∀∃ Φ; , : # ;! 7 ( ## 2 :0 ∃ 4 ∋ ∋∋ ; , ! 4
# ! / ( ∋# ! # 4 ∋ ! ! : ∃ ; # ∋ % ! ( # ( !
: # # ∃ & ∋( %# 9 # & ( #; & ∗∋ ! ! ∋ ,∃∋ #! ! ∀ &# ! &∋ ≅ : Φ; & &! ∋ & &! −+ # :2 ! ( ! ! ∋ # ; & # ∋ !7 9 # ∃ ∋ : # ∋ ( ∃ ( ∗ − Α ∗ & ! ( ; −+ . # ! ∋ ( ∗ ∋ ! !
# # # ! ∗∋ ! ∋∋ ! ! ∃
# ! 7 ∋∃! % ! ∃ ( # ! − ! −+ # ! ( − ( ) # ( ! 4 −+ & ∋ # 4! 4
# ! 4 ∋ ! ∋ 3 ## ∋!# ∋ ) ! Ε ∋&# . Α! # # ∋ ! ! : Φ; # 9 # : # ∋ (
; ! −+ ( ! ∋ : ;! :0 ∋ 2 ∋ ! 0 ( , ∋ ∋ && 4# ∗ ; : & ?; −+ :2 ! ! ; :0 # & ! ( ∗ ∋ ; :) Ν; : # ! & & Φ; : ∋ ! ;! # −+ : ; :0 2 ∋ 0 & %; ∋ : 9 # # Φ ∗ ∗ 2 ; : , ∋ ∋# ( ;
: ; −+ #! 7 / ! ! 4 ∋& ## ∋ ! # 0 ! ∋ ! ( ! ) ) ! −+ ∗∋ ∋ ! / ! − ∋ ! − ! # ) ( ! ∋ −+ ∋ ! − ! ∋ ∋ ∋ ! , 4 ! % ∋ # ∋ ∋ ∋ ∋ ! . ! ! (
# ! ∋ ! . ( &
! ( ∋∃ ! ! ∋ ∋ # , ∋ ! 0 4 # ∋ ( # , ( −+ ∋ 3 ∋!
4 ∋ ## 0 ! ( ∋ ∗
# ! −+ & ( ## ∋ ! ##! 4 ( ∋ ( ! ! %
# ( ! 8& & −∃ ! ∋ ( ! # ! & ∋#∋ # ( ∗ ## ! & & (
&& − ! ( ! ! ! ∋ . , ∋ ∋ ! ! ∋ ∋∋ ( # ! 3 ! , ∋ &
−+ % # ∋ !# ! ( −+ ! ! # # & ## ( = && ) #! ∋ ∋ ! , ∋ ) ! # ( ! # #∋ ! !# ∋# :0 & Φ ∃ ∃
! ; #! #
: # ;! :0 0 ; : Φ; :0 # ∋ ; # ∋ ! ∗ ! ∋ .
∀ ( ## 0 ( ∋ ∀ ( # ! ∋ ∃ ! ∋ − ( : ∋ , ∋ # ;! : ## 9 ; : ∀ ∋ ( ; :7?0 Φ; :7 ) 0 ; :7 ! Φ; : ( Φ; 0 ( ∋ 3
: 9 ∋ Φ; :0 9 ( Φ; : ∋ ; 3 ∋ ! : ∋. Φ; : % ∗ ( ;! : ; : # 9 Φ; : ∋ ) 0 ! # ! Ν; :,# # #;! −+ : ) ; : ∋ # # # 4 ; ! 4 #∋( ! / ∀ :∀ ∃ Φ; :7
! 0 ∃ ! . # # ( 4 ! ! ##∋ ∋# # ! (
∋% # &∃∋ # , ! ∋ − ∗ ; : Φ; : ; : ;! −+ : ; : ! # #Φ; : ;! # ) :0 ∋ ! ( # ?; # :% ; / ∃ 4 ! ∋ ! ! ( 9 # < 9 # ! & ! Α & . ∋ ! ! , ∋ ∋( ( ! ! 3 #!∋ ( ∀! (
# ! ( % : ∋ , ∋ # ;! : 9 # ; ∋ ! ∀ # ( ! ∗ : ∋ # ; : Φ; : , ∋ ; : , ∋ Φ; ! ( # − − ! ! ! ! : , ∋ 9 # ( ;! ! ∗ ! # ∋ # ! ∀ # ( # # # #∋! ∋ ! ∋#
∀! ∋ ∋ ∀ ## ! # 3 ) && ∋ ! ∋ ∋ ) 4 ! # ( : . ∋ ∀ ## ;!
# ∀ : ! 9 ;! ( :) ! ! ; − & ∋ − ∋ ( ∋ ! −+ − :0 ; :7 Φ; : ∀ ## ; ∋ ( ! # ∋ − ) ! # ! ∀ &# −+ − & # 4 ( (
: ! 3 ) # ! 25 5 ;! % : ! ∀ ( & ∋ . ∋ ; ∋ ∋∃ # ∀ ## # ∀ ( ∋ ! ) ( ! ! ∗ ! ∋ ∃ ∋ ! ∃ ( % # && ! ∀ ## ∋ ∀∋ −+ ! # ! ! ( ( ! ! ! &# % ∀ &# :− − ! ;! : ) ! ;
−+ # ! # # ( : 3; :2 ∀ ##;! ! % 0 ! ( : Φ; − ! # 4! ∋ ∃ ( # ! & ∋ , ∗( ∋ ( && ( ∀ &# : , ∋ ; ∋ : ! 9 ! 9 ∋ # ; : ∗ ;! :2 ?0 ! 0 # ! ! ∋ −∃ ! ∋ Ν;
: Φ; : ) ; :) Φ; : ( ! # ? ∗
! ( ## 0! 2 && ( ∋∋ ; ∗ ! ∗∋ ! ( ∋∋ ∋ ∋ ! ! ∋ ( ! # ∋ : ! (
# ;! ##0 # . : , ∋ ∋# ! & ( ! # ∋ Α # ∋ ! # ( ; :0 ∗ # ;! ! . / . & ! : ; ∋ ( #(
! ! # : ;! : ∀ ; /∋ ! ## ! ( ! ! ! ) ! #!∋ ( ! # ∋ ! # ! ! ! ∋ : , ∋ ∗ ;! : ! # ( ∋ /∃; :9 Φ; % ∀ ## ! ( ∃! # ! ∋&( ∃ ( ! 2 9 ! ∃∃ / ! ! 9 ! # ∃ ( ∋ # ## (
∋ ! −∃ Α .# ! ∋ .# & #! # ! ## Φ :4 9 # ( ∃ ;! 4 ! −+ # ∋ ( ∋ & −+ ) ( 9 # ∀ & ∋ /∃ ! 4 ! ! ∋# 8& % #! ( & ∋ 9 # 4 ( ! ∋# ∋ ! ) −+ ∋ − : 3 # ! / & ! − & ∋ # ;! −+ ##
!
∋ ∋ ! # ∋∋ ( 9 # ! 4 ( ! − : / ∗ # % ( ;!#4 # ∋ ( # ( ∀ :) 9 ! # ∋ ! − ∗ ( ! ( ∋ # 3 4 # & ∗ 9 ! # − 4 #∋ ! ##& ( Φ; −+ : & ∋ ;! 4 : ! ∋ ( ; : & ;! −+ : / # − ( ! ∋ ; :2 ! ∋ ∗ ∗
∋ ! & ∋ ( # ! Γ ; :9 ! Φ; −+ ∋∋ # ) & & : ## ;! 4 ( : . # ! 9 # 0 ∗ − ! ∋ 7 ; : ;! −+ : ! ; & 9 ( # ( ∃ 9 #
# ∀ & 0 4 #9 ( −+ ∀ ∋∋ ∋( ! # 4 ∋ #! 2 && ∀ & ∋ 9∋ )
# ∋ ! # # ∋ − ! 9 ∋ ) = # ( ∋ # # ! #( , ∋ 0 0 # ! ) − −
! ! −
! # ( & ∋ 25 5 # 7 ! # # ∋ − ∗ Α ∃## ( − ! ∋ Α # −+ ( % ∀ ,# ! ∀∋ 9∋ &( # / # ! & !# ∋ − & ( ! ∃ # ( ∋ ! ) ! ∃## ( ! # 9 ∋ # ∃## ! − ) # # % & ! # ! −+ ) )( ∋ #
) ∋ )
∋ ∋ 0 ∃## , 5 ( 3 ∀ ∋ #∋ ( ! # ∃## ! ! ,( −+∋ −+ ! ! 0 ∋ # ∋ ∀ # 3 ! . # : ∃## −+ ( ϑ!ςςΗ Ρ! Ηϑ! ςΙ # ∋ ! ςΗ! ∋ Η! ςϑ! ∋Η! ςΚ! ∋Η ( ∋ # %∃ ! ) ( !% ( 9 # # ∋ − ( # >,( −+ ϑ!ςςΗ Ρ! Β!ςϑ! ΗΧ!ςΗΧ # ∋ ςϑ! ∋ Η ( ∋ # ∋ % ( 0 ∋
# ∋ − # > ΗΧ!ςΗΧ # ( ∋ 0 ∋ # ( ∋ − # > −+ ϑ!ςςΗ Ρ! Β!ςϑ! ΗΧ!ςΗΧ # ∋ ςϑ! ∋Η ∋ 0 ∋ # ∋ − ( # > 3 % ( ΗΧ! ςΗΧ # ∋ 0 ∋ # ∋∋ − ( # ) ( ΗΧ! ςΗΧ # ∋ 0 ∋ # ∋∋ − ( # ; ∋ ) ( −+ 0 ( # ! # ∃. ! # ! ∋ ∗( ∀ ## # ∋ 0 # ! , & ! ∀ 3 ! # # , & ! ( ∋ : # /( ∃## − # #
∀ ∋ !
∋∋ # &# !
( ∀ Α ∃ ( ∋ ∀ ∋ ; 3 ! ∋ ! ∋ − ∃
! && :− 3 # 3( &# ∃## ( ! ∋ # ∋( ) ;! ∋
−+ − # ( 7 ! / ∃ ∀ #
7 ∋ ! ∋( ∀∋ # ! 3# ∃ ∋ ! ! 2 ! ∋ ∋
# ! ∋ ∋ ! ! ! ∀ ! − ! ∋ − # ! ! & ## ! # 6 ∋ ∋ ! ∗ − # ) ( ∀ ( ∀ # ( # ∋ && ! && :0# ∋ ! ;! : ! ( ; −+ 25 5 # # −+ # / ( ∋ ) + 4( ∋ ! # # ∋ . # ! ! #
4! ∃( ∋ ! ∋ 0 ∗ − ( / − ∃. ) ! 2 : # Μ − ;! ( : # ( ; # 3 5
4 # ! 3 ! ∋ / ∋ /( 4 , & ∋# ! ) ! ! ! 3 ! # ! ( # # ) 5 # # ! ∋ ! : ∋;! & : 4 ! , ! ; # # # (
. − ∗ ! # ) # # ∋ ∃ ,# ( 9 ! 8 ∋ & − ∋ ( ! & ∋ ) ! ( ! # ( ! :2 ∗ ! ∋ 1 ! Γ; 2 # −+ ( ! − ! ( −+ 9 ∋ ! ∗ & 0 / ∃ − ∋ ∋ # ! # ( ! ( # # / #( ) ∗ ! ## !
! 4 2 ∋( : ;! ∃ ! & & ∋ : ! ∀ ; ! ∋ ( #−+ ∋ ! )∋ # ∋ 9 ∃ & ∗ ∀ ) ( ∋ Α % 7 # ( ∃ && # ( ∗ ∗∋ ! )5 5 ∋ ! 7 ∋ & % # ( ! ∋ # ∗∋! 2 # ! &∗( −
# 0 & #( ! ∋ ! ( #! 3 ∋ (
∗∋ 7∋ # ∋( / & ∋ # −+ ∋∃ ! ! ∗ # ! ∀ &# ∋! ∋ :0 ∋ ( 2 7 ∋ ; : ;! ! ( 3 3 !# ∋ 4 & ( & ∋ % ! ( ! ( ∋ ∀ ) # ∋ ! # ( # : ! ( ;! −+ : ! ; # ∗ ) ∗ ∗ % # % ( &
) % # % ( − −+ ∃ ∋ ! ( # ∀ ### 2 : Φ;# ( #! −+ & : ! # ∋ ;! # ∗ ! ∋ #, ∋ ∃## ! . : ∗ ! #
∋ ! ;! −+ : & 3 ! #
∃ ! ; ! % ∀ ! ∗ ( ! −∃ ∋ ∋ Φ :0 ∃ !
9 ∋ ;! −+ ) # ( ! ∀ ##!
9 ! # :% Φ; : ! ! ( & ; % ∋) / ! ∋ ) # ! ∋ , ! # ! 3 ! . 7 ( &! : ! 9 Φ; # & −+ ( : , ∋ / ( ∋ # ! ( ∋ ! # ∀ ∀ # ∗ # ∀ ; : Φ; : 9 # # % ( ∀ ; : ∗ Φ;# #∋∃ & ! # (
:7 ;! −+ !: ∀ ( − ; # 9 ∋ , ∗ ∋ −+ ∋ : ! ;!# −+ # : # ∀( ! 4 # 8& ! − ∋ & ##; :7 ! ∗ ; : ! ; ! # ( :2 Φ; −+ # : % ∗ !
0 & − ; :0 ( ! % ( ∗ # Ν; : ? ∗ ∋ ! 9 & ( ! (
! ! & − ! ! ! ! ; :∃ ∗ ∋ ( , Ν; :2 ? ) #∗; : ;! #:− ! ( # ∀ ! 9 & ; −+ # && ( ∋ ! / ∋# ∋ = ∋( :0 ∋ ( ∃ ! − 4 #∋ ! . ∋ ( 0 ! ! ! & ! ∋ ; : Φ; : ; ∗∋ !
&
& ∋ , ! ∋ ! . ) ( ! # ∃ ∋ ∋ . ( : Φ;# −+ : ∋ ! ! ; ∋ ! ∗ ) & 25 5 ( 3 ∗ ! ∋. : ∗ !∋ ∋ ∋( ∋∋ ;! : ! ! ! ( ; :0 # ! ( ∋ ;! −+ : #; : ∗∋ ;! −+ ∋ : ! & ! ?0 ! 2 (
( ∃ ! ∋∋ ! ( 3 5 ! ∗ 2 # 0 # ! 0 # ! ! ? ∋ # #! !# ! ∋ . ! !∋ ! # ! ∋ #; :9 ∋ ! − Φ; :0 ! ∋ ∃ ∋ ∋! 9 # 9 9 # ! ! ; : ;! #: ( ; :0 ! ?; : Φ; # % / !
∋ ∀ ( & ∋, ∋ ∋ ! # ! ! & & &&( # 3 # ! Α ! ! ! :0 ;! # : # ; ∗ % # 7 ! −+ # , (
#! & −+ ∀ &# ∋ ∋ ! ( , ( . ! ∋ #( ∋∃# − & # ## ∃ ∋ ! # ! ) −+ ( ∋ ! ( Μ ! ! ! ∋ #
: ! − ( ;! :∃ # ?; ( # ∋ : ∗∋∋ 7 ! !∋ . ∋ ; − ! 3 ∋ # −+ ∗∋∋& ! ∋ : ;! : ! ; ! ! ( ! ( ∗∋ &# ! ! #∃( : ∃ ; # & ∋ ∋ : ∃ ! ( % ∗ ∋ ;
# − ! ∋ # ! # 4 ( ! ( ∋ ! Φ ) ( &! 3 ∋ Φ −+ # ! ! ! # ! ! . ( ∋ − ! & ∀∃&< /! 4 ! ( ! ∋ ∋ ( ! ∗ ( :7 ! ; #
# ! ! −+ : ! ; : Φ 0 Ν Φ; :2 ∗ # ! ( !
! − & ∋ # 0 ## &
∀( ! ! ! ∋ ! ∋ ( ; 3 #! 7 ( < ∗( −+ ( ! 0 4 # ∋ ! ( : ! ! ## ! ∋ ( ; ! −+ # ! 3 ∋& ! ∋ : ∋# ! 9 # ( ! # # ;! # ! ∋ ( ! :− ∋ ?; −+
: ?; − ! ! ! ! # # ! : Φ; # ∀∃& ( 3 ! −+ ! # ∋ ∗ ! − ( ! ∋ ( ! )5 5 ∋ ( ! ∋! ∋ # 9 # 2 && # # # ! ∀ ∋ # ! # ( # − ( . # ∗ ∋ 4 −+ &! & ( > ∗∋ # / ∗ ( ! ∋# !
# ! ∋ # 3 ! # Ηϑ!ςΗ # ∋ # ∋ − ∋ −+ 2 ! ∋ ∗ ∋ 9 ∋ ! ) ∋ ! )( ! # ! ( −+ ∗ (
#! 4 ∋ ( ∀ ! ∋ ( ! ∋ :∀ # ! ! Φ; # # #( −+ ∗ # ( # ∋! ) # ( ∋ −
3 −
# ! ∗ ! # 9 (
# ∋ −+ # ! #( ! ∃ ) ∗ # ∗ ∋ . 9 !
∋ % ∋ ! &# ( ∀∃&# # ∀∋ && . &# ( − ∋ ! ! ( ∋ ! ∃ 9 ) )∋ #! ∃
(
&& %&## ( ! ∋ ∗ # &∃∋ ( ∀ ∋ −+ ∋ ! 4 ! # ! & & # −+ #7∋! &∗! # ! ( # 0 ! ∋ # ∀∃&!
−+ # ∋!
& ! ( & ! ! ∋ / #! 9# &# ∀ ! ( # ! ∋ ! # ( −+ # ∃ )5 5 ! ∋ # # ! Α! ∋# −+ ( ∗ &
) ∃ # # ∋ ∗ &# 2 ! ) ! ∗ ! −+ ) ! 3 &# #∋ # ! 2 & ( 3 ## ∃ # ∋ − ! # (
! ∋ ∋
−∃ !∋ ! ∋ # # − ∋∃ )5 5 ∋ ∃ ( ! −+ −
2 ∋ , & ( ! ! ∋ . ∃ ! ∀∃& ! )# ∋ ) ! 4 #
! ! ( 4 )∋ # 0 ( / 2 ∀ ∋ ∗∋ , ! ∀ & ∋ ∀ . # # ∋ : ;! −+ ! 4 ( # ! )! ∋ . ∀∃& ! ) ∗ 4 !
∃! − ! . # ! ! ∋ & # ∋ :4 # ;! −+ # # # 3
