!" # # $
" % & ' & ( # ( # # $ & ' #% % & & ) ( & # # $ & " * $& )++, - # .% % # # $ & # '%# % #%& $ & & & (% % & $ $% # & & $ % % & ( & # ( & & ( / $ & % % #
( & & ( # # $ - 0& & # % & / $ & % $ & ' & # # $ ' ( & / $ - 0& & $ & ( & & % &# " # ( # '%# #%1 2 & ( & ) ( $
% &# & 3 # # $ & #( &# & %&#%$ $ % & # ' & %& & & # & ' $% &# % $ & ( #% # $ ( $ & %$%
&# & 4 & %& ' & & ( $ %( # & ( & 4 & & $ ' $%# $ & # ' &#% % % # # $ & #
( & # '%#
# $ & # $ ( # # # $ ' $%# & & $ # % # &# & ' & % $ ( # & 5
2 6 3 7 , ) 8) 9 :8 6 , 7 + 8∈
" ( # & 2 ( ' & ( ( % & 6 3 7 ;4 & $ & $ ( # & ) ' (% # # &#%$ & & ( $ ' & && ' (% %' # % < ' ( 8=& &# & & ( #% & # # ' && " & & $ ( # # $ # $ & ' & # & & # & & & $ &
' $ ( # & ( $ & ( ' & # % ( & $ & $ ( # & ) $ # $ & ' $ ( # # '%$ $ & # $ &% & # '%# # " ( # # '%$ & ) #%1 8) 9 :8 6 , 7 + ⇔ 8 − ) 8 − 7 +
& & # 8∈ $ & ' & ( ' & & $ %' & &# & & 8 7 ) # % 8 7 # & & % & # ' ( & & ( & $ &# $ & # % %' # #% $ & $ $ ( # # '%$ & ) $ & & ' '$ & $ ( # # '%$ # '%# & & # & & ' & ( ' & # $ & $ & # $ ( # ' & & # # $ ( # & ) # & & & ' & $ # = $ # # # &#%
2 >&#%$ # ' ( & & ( 8 ' ( $% 8) 9 :8 6 , 7 + ) ! # ' ( & & ( 8 $ & & 8) 9 :8 6 , 7 +
! $ ' ( & & ( 8 $ & & 8) 9 :8 6 , 7 +
# '%# & 1 2) 9 :×2 6 , 7 ) & ( # $ & & + & $ ( #
& 2 ' & ( ( " ( # & ) #%1 ?! # ' ( & & ( 8 $ & & 8) 9 :8 6 , 7 + @ ( ' & ( ' & ( && %&#%$ 8 7 ) # % 8 7 $ ( # # # $ # '%# & ' & ( ' & ! $ $ ( # & #%1 ?! $ ' ( & & ( 8 $ & & 8) 9 :8 6 , 7 + @ A ( ' & ( ( $ & $ & # && % ' ( & & #% 8 7 ) # % 8 7
& & ' '$ & $ ( # # # $ & # '%# & ' &
! &# # &%& %$$ & ' # % #% $ ( # # '%$ # # ' $ & $ # =$ # ' $%#1
2 ?>&#%$ % 8 B @ # % ?>&#%$ # 8 B @4 ) ?- ' 8 B @4 ?! # 8 B @4 # % %& ? 8 B@4 &
?! $ 8 B @
* & & & ' & $ # =$ # # '%# # % #% $ ( # # '%$ & (& # $ # % ' (% ( $ & ( $ ' & & ( (% ' %' & $ ( # & ' & ( ' & # % ' & ( ( " & #%( ( 2C;;1)
& # $ &1
B &
# # $ & & 1 ?"% &# & # ' %& ( & %' $ ( # & # $ # & # $ & ' & ( ' & # % ( B $ & & $ ( # # '%# # $ # $ & ' $ ( # & ' & ( ' & # %
( @ % & $% &# #% $% &# %& < ( $% &# % % & & %& $ & $ # ?%&#%$ # @ # % ?%&#%$ % @4 # $% &# $ # & ( $% &# $ % % & & %& $ & $ # ?' ' @ ?# #D@ # % ? @
& $ & $% &# ?# $ 8@ # %' $ ' &#%$ ? % 8 # $@ # % ? # 8 # $@ ( & $ $ % $% &# # '%# $ & '
' & ' $%# &
"% &# & & %& ( ' & ∀ & ' ?%&#%$ # @ # % ?%&#%$ % @ ($ & 8 ( % #% $ ( # # '%$ & # & ∀8 8 ' ?%&#%$ # 8 ' ( $% 8 @ # % ?%&#%$ % 8 ' ( $% 8 @ - $%# & (
&# & # & ' $% &# %& < (
# ( &# $ D
& # & ' $% &# %& < ( # & ' $ & & % %& & #% %& & # & %& & & &# $ * & #% & # & # & ( $ & # &# & % # & %& # $ & ( $ & # &# & % & &# $ * & & $ # ( & & # & #% & & ( $ & ' # & # %& & # ( % $ & & # %& & & &# $ & %& & # & #% # $ & ( $ & ' # & # %& & & &# $
! &#%& & # & ? # ( &# $ @ & $ & ' & ( ' & $ # ( # &#%$ & $ # # & $ # &# $ # # #%& %$$ & ' # # & % $ & & # %& & # ( &# $ F %& & # & ' $% &# %& < ( # $ & ' & ( ( $ # #%& %$$ & & #% # % ' ' & & # $ # $ & ' # & %& # $ # %$ $ # &# $ G &# & &%& %$$ & ( & % #% & # & ' $% &# %& < ( & '%# & & # % &# & $ ( &4 ' & & # $ & G( & HD & G & 2CI31 3C ' $%#1 ?
@
A $ & # & ' $% &# %& < ( # # ( &# $@ ( ' & ( ' & $ & # & #% # #%& %$$ & & & J && ' $%#
' & ( $ & ' & & %& & # % # % # # % & %& & ' & %& & &% &# $ G4 # % ⊂ G F %& & G ' # % 7 G
- $ & * J && # $ & # & %($ & ' % #% & # & ' $% &# %& < ( # %' & % #% ( $
&# # & # & ' $% &# %& < (1 ? % # ( &# $ @ ( $ < ( & & & ( $ 1 ?A $ 8 ( # $ 8 ( &# $ @
& # & ' $% &# & & $ # ( ?! $ B @ # %' $ ' &#%$ & # & ' $% &# %& < ( G &# & $ & # & ' $% &# & ( 1 ?! $ % > & & & & # & ( %( & & ( $ @ $ & # & # '%# # %' & & # & ' $% &# %& < (1 ? % % > # $ & & & # & ( %( & & ( $ @
"% &# & & %& ( ' & ∃ & ' ?' ' @ ?# #@ # % ? @ A $ ($ & 8 ( % #% $ ( # # '%$ $ ∃8 8 ' ?%&#%$ ' ' 8 ' ( $% 8 @ # % ? 8 $ & & ' ( $% 8 @ - $%# &
( &# & # & ' $% &# $ # & (
? & ' $ # @
& # & # '%# &%& %$$ & & %& & &% ' %& & # & K & %& & # & %& & &% & ' $ # - A $ & # & ' $% &# $ # & ( ? & ' $ # @ ' & ( ' & $ #( # $ % #% $ %( & $ & &
& # %& & # & ( #% & # & % $ & & # %& & & % % $ & & # &% & ' $ # # &
G
7 L
%
&%
M
7 L
# M
$ % %& & # '%# # $ ( & & ( & ( * & & $ & ∩- N
φ
& # #%& %$$ & & & * J && ' $%#- * J && # & &%& %$$ & ∩- N
φ
$ & # & ' $% &# $ # & ( # & # $ & ( ' &#%$ $ & %& G &# && # & ' $% &# $ # & (1 ? & ' $ # @ (
& & $ & %& ' $%#1 ? 8 $ & & 8 ( & 8 ( ' $ # @
(% & #$ & ' % #% & # & & ' & ( ' & $ & & ' '$ & & & & & & # O ' & ( ( & %& $ ' & ( ( $ & & & & & # O $ & ' & ( ' & # #%& %$$ & # ' ( $ ' & &
& # & & & & ' &
O
-* & & $ & ( ( ' & & # & ' $% &# ( & # & ( & & ' & ( ' & $ & # & (& ' & ( ( & $ & ' & (
( $ & # & (& ' & ( ' & " %( & & ( & &
& &#% & & # % & $ & % #% & # & ' $% &# - & ' $%# & $ & ' # &# & & # % & $ & & # & ' $% &# %(
& & & & # & ' $% &# %& < ( & $%# & & & & # & ' $% &# $ # & (
# $ & & # & ' $% &# ' $%#1
1 % .% % 0& & % ' # $
* ( $ % & & # = $ & & & # $ & & - $ # % 0'% .% % ' ? % .% % 0& & ' # $ @ & - $
# % 0'% $ & ( $%$ &5 %& $ & - $ # % 0'% $ & & # $ & ?P & ' & $ % % % % ' # $ 5@ E ( & &%& %$$ & ' #% & % % %& & # $ # %$ $ # $ # $ & %&#%$ & & $ # % & $ & & # & ' $% &# # * & & $ & &
& # & ' $% &# %& < ( # ( & # & ' $% &# $ # & ( & # &% ( & ( #% & & # $ &% $ # ' # $ # * & & $ & & # % & $ & ? % .% % 0& & ' # $ # @ ( & # & ' $% &# $ # & ( & # $ &%
K
-
K 7 L
%
&%
M
7 L
%
M
$ # ' # $ # '%# #% ?- ' # % # # .% % 0& & & # $ ' # $ @
* & & & # % & $ & & # & ' $% &# %& < ( ? % ' ( & & $ ' 2 $ & & ($ & ' ( & & #% & @ & & & ( ' & ( & # & ' $% &# $ # & ( ?- ' # % # # ' ( & & $ ' 2 $ & # $ & ($ & ' ( & & #% & @ P & ' & (
( F # % & $ & ? % '%& & @ ( ?! $ ' & ' % '%& & @ # % ?- ' '%& # $ & @ * & & & %& $ & ' ( $ & # ' & ?∀8 8)≥ + @ ( ?∃8 8) Q + @ % %
& & # & $% &# %& < ( # & # $ & ( # ' ( ' $%#
& # & F
∀8 8 O ∀8 8 ≡ ∃8 O 8
- $%# & ( ' & & & & & # & ' $% &# $ # & ( G &# & # & ' $% &# $ # & ( ( 1
?- ' .% % 0& & ( $ %# & @
& # & & ( ' & ( ' & / (% ' & & & & & # & ' $% &# $ # & ( # '%#5 P & (% & # $ & & # & # '%# ' & ( ' & $ & & % ' & ( (
A $ & & & # $ & ' & & ( 1 ? % .% % 0& & ( $ %# & 4@ $ & # & & %& $ & %&#%$ ' & ( ' & % # & ( & # & ( ' $ ' #& & # & # '%# # $ %& $ & & & & / (% $ & & & # $ & ' & & ( 1 ?- ' .% % 0& & # $ ( $ %# & 4@ $ & # & & #
& # & ' (% & %& $ & %&#%$ ' & ( ' & % $ ' #& & # & # '%# # $ %& $ & & & & " & $ % & # & ' $% &# # '%# '%$ &( & & $ # #% & # & ' $% &# ( && & $ & & & & #%1 ? % .% % 0& & # $ ( $ %# & @
& # & ' $% &# ?- ' .% % 0& & ( $ %# & @ # # ' $ & & & * J && ' $%# & &%& %$$ & & ( & $ # #% & # %& & .% % 0& & . & $ ( % % $ & & # %& & & = & ( $ %# & "
- * J && # #( %($ & ' & & # & ? .% % 0& & ( $ %# & @ ( '%$ & ? .% % 0& &
( $ %# & @ & % '%$ & ? .% % 0& & # $ ( $ %# & @ ( && % & # & # $ & # ' & ( ' & % ( & $ &
"
.
( & # & & ' & ( ( - * J && # #( %($ & ' & ?- ' .% % 0& & ( $ %# & @ & & & ( ' & ( R % D .% % 0& & % # $ # %$ %& & " * & & $ # ( & % & # . % # $ & & # " ' &
#%& %$$ & * J && ' $%#
* & & & # % & $ & & # & ' $% &# 1 ?- '
# % $ & # $%= $% $ $ @ ( ? % # # $
& % $ & # $%= $% $ $ @ * & & & %& $ & ' ( $ & # ' & ?∃8 8 @ ( ?∀8 O 8 @ % % & & # & $% &# $ # & ( # & # $ & ' ' $%#1
& # & F
∃8 8 O ∃8 8 ≡ ∀8 O 8
* $ & ' & % % #$ && # =# & # $ # & & & # & ' $% &# E && & & & # % & # '%#
' ( & & # & ' $% &# $ ( # $ & $ & ( & % % & %& ' ( && $ & ( ' $ & * & & # #% & #( $ & $ % & ' & ( $ & & & $ # & & # ' & #%&#%# ( #% % & & ) ( & # # $ & " #% & & $ #$ & $ % & ' & (
G( & S4 HD . 4 G & ! A 2CI3 G ( & 1 &= ( %'( & G
* $& )++, ! " # $$ % $&&' % ( " ) * + A $ # 1 * $&
* $& )++, ! " # $$ % $&&' % ( " ) A $ # 1 * $&
( S K 2C;; ) ) , -. , / &# 1
- $ TG ( %'( & G &