∃ 6 7 6 7 8 6 ∀ ∃ 7 7 1 ,1 )1)1, 6 ,1 )1)1∗ 6 ,1 )1)14 9 6 6 7 6 : 7 7 + ,1 )1)+, 6 ,1 )1)+∗ 6 ,1 )1)+4 ;<∃ ∃ 6 ∋ ∃ 6 6 ∃ ∃ 7 7 ( ,1 )1)(, 6 ,1 )1)(∗ 6 ,1 )1)(4 ;<∃ ∃ 6 > 6 ? 6 ∃ ∃
≅ 1+ +)11 !∀ ? Α ! ? Β Χ ∃ ∃ Β ! ∃ ∆! ; ∃ ! Β Χ ∃ ∃ ? : ∃ # ! Φ ∃ ∃ !∀ Γ ∃ ! ∃ Η ! ! ! Α Α ∃ ∃Α
( , # / ∋ # ∃ % & ∋
; − + ∗ > ∗∗ + ) + ∗ + − ) ) & ∗ ∗ > ∗∗ + ) + & ) ) + ∗ ? ; & 3 ? + & ;+ .+ ∃ ∗ % ) ? + ∗.
%!∀& ! ∋ ( ∋ 4& & ∗ ; 8 % Β − ∗− ∆ ) ? + 3∗ . % ) ≅ & ∃ ) & ∃ ) ∗ 2 3 9∃ 2 3 :? ; − −. ) ! ! > ∗ > ∗∗ + ) + ∆ % & % %& + 9 ∋ 7 : ∗ .
∀ ! ∀ ;+ % 8 Β 3 % − 8 + % + ∗ ∗ > − 6 −. ; + ∗ > − − − 8 + ) 3 ) % % % + 2 −3 −. ) + 3 ) ? & & − + & ∀ ) .
Ι ) & 4& & ; + + ;%% ∗ + = + 5 8 + 0 Κ ! 7 0 Β %& + 8 ∗ + + ∗ 4& % %&∗∗ ? ) % ∗ ∃ −.
#− 4 % Ε ∗% & ∗ ∗ = & + & + + 2 −3 Ε∗ 2 − −. Β + Β + ∗ ? .
% ; 3 ) & & 4 − − ∗ )& ≅ 4 8 ) & .+ ≅ + − ; & ∗ + − ≅& ) Β . ∆ Β ) ; −.
∃ % & ./ ∀ ! . ∗ =& 3 − & + ? −. > ∋∋ % & . ∗ ∗∗8& + 8 ∆ ; &∗ Π−− % ∗ ) .+ + ∗∗ > ? &∗ 6 >. ∗ 2 −. + ∗∗ > ∗ .
+ & ? ∗ = & = + = 6 Β + ∗ %.
; Θ Ρ+ + .
( = & 8 Υ # =& 2 & 7 8 &∗ − ∗ 9& & = + : ( ∗; Ν &∗ ∗ ; ∆ ∋∋ ∗; ∆ ∋∋∋ ∗; Ν 9ς ∋ Ω: ∆ ∋∋ % ∆ ( % ∆ ∋ % ≅ ∋∋ Ε∗ + ∗8 ∗ ) + Ε∗ + ∗8 + Β > 3 Β − − ;+∗ ∋ ς ∋ Ξ1 ∋ ς#∋ Ξ1 % ∗ Ν #( Ω ≅ 9 : # Ν ( ∗∗ 2
) ) ∗∗ + ;+ % .+ 8 ? ∃ & ∃ 2 3 & + + 2− Β ) & & − ; + 8 6 ∆ Ι Ο = & ∗ − −. ) ) + −& ) & ? + ∗ > ∗∗ + + ∗.
Α + & ∗∗ ≅& ∗ ∗ & ∗ 2 3 + ; & ; . & + 3 − & &∗ 5 9 : 8 ? 8 ∗ ∋? + ∋?# = 5 9 8 : % &∗ ? ? 2 8 .
7− ! − 4& & ;+ & 8 & − ϑ + ∗∗ ) 4 ∗ 4& & 8& ? + + + .+ ∗ 7 4& & .
#∀ ! 5 9 6 1 −. Ο Μ8 ; − + 8& ∗. + ∗∗ 5 + + 2 3 −& ∗ & Χ ΒΧ 2 3 ? ∗ ? ? #? ? ? # & ∗ Χ) Χ 9≅ : + +% − ∗ & % − ∗ % ∗ 2 3 % ? − ∗ ) .
/ ! ! !∀ # ∃ & ? > & ? Β ? 2 ? %& ? & ? 1 ? Κ8 &%&88 ? 8 5 ∗. 8 ≅& + Λ 7 ) − 8& ? % + −− ) + + + ∗ ∗∗ − % & ∗ ) + 3 Ο ∗ ∃ ) & ∃ % & ) & = % 88 .
+ # ∀ ( ∋ ∀ ∋ ∃. ∗ > ∗∗ + 8 .− + − & 3 ∆ − & & Β &8− ∗ ) ) − 4 & 8 ≅ .− ? &+ + Β + + ∗ + 4 − Λ ≅ .
# 0 ) ; 8 3 ∃ 0 ∗ −& ∆ [ [ [(<[ = + 9 8& = + Χ Χ: −& 9+ 2 8 ΧςΧ: [ [ = + 9 8& = + ΧςΧ: −& 9+ 2 8 Χ Χ: > ∗ ; ∗ ∗ 9; . [( [ : % .+ + . % ? ) ∗ ∗ = + −.
/ 0 ) ; 8 3 ∃ 0 ∗ −& ∆ [ [ [ = + 9 8& = + ΧςΧ: −& 9+ 2 8 ΧςΧ: [ = + 9 8& = + Χ Χ: [ −& < 9+ 2 8 Χ Χ: > ∗ ; ∗ + 9[ : ∗ 9[ :? ) ∗ ∗ Ι ;+ − >
∋ 0 ) ; 8 3 ∃ 0 ∗ −& ∆ [ = + 9 8& = + ΧςΧ: [ = + 9 8& = + Χ Χ: 6 ∆ % % % ; 0 [ [ −& < 9+ 2 8 Χ Χ: [ −& 9+ 2 8 ΧςΧ: > Ρ+ 8 .
1 % ) ∃ 0 < & − ϑ ∗ &−& = + = & 8 Λ Ε ∆ & ∗ ) % 7 ) ∗ ) − + + ? −. 8 .
: (! ! ∃ − % ) % 5 8 % 9; Ε∗ : ∗ 2 − 5 8 −. %& & ) 3 ? 2 − ? + −. 5 8 ∗ Ν ∗ −− ∃ ) ) .
2 % 3 ∃. ≅ & % 3 − Α 2 + 4 − ∗ % ? ∗ Ν ∗ Ο & Α ≅ & % % = + ? ≅ & % & + & ? ∗ 63 & . & Ο ≅ & ? ≅ & % ∗ 5 ∗ + 3 + − 3 % % − & + 2 + + 2 3 8 .
2 4& −& ∗ 3 % 3 ≅ & % −. ∃& 2 5 ∋∋ < ∋#< 2 .+ % &∗ = 3 % 3 −. 1 4 8 ∗& &83 Ι& ∗ Ι ((∋ Ι ∋∋∋ % 8 .
) ) ∗ ) . . 2 . 2 . 2 2 4 5 ) 5 5 7 7 8 ) 5 8 9 7 : ? ≅ ) > ? ∀ #∀ ∃∀ % &∀ ∋∀ ( , ∃∀∃ &−− .#∀ .∃ .
6 Β1 1# ? ≅ ) 5 ≅ ∆ ≅ ? ) 1ΧΧ
6 Β1 1∃ ? ≅ ) # Ε? ≅ ∆ Φ 5 # Ε5 Γ 8Φ ≅ ∆ ≅ # Ε5 / ) Η ? ) # Ε? Γ Φ Η Φ 1ΧΧΧ
6 Β1 1% ≅ ) 5 Β ≅ ) ) ≅ ≅ 1Χ3
∗ ∗ + ∗ − − 1 1 2 ∗ 3 2 4 1 5 ∀ ∋ (% ∃% & ) ∀# ∃%& ∀ () ∃## −∀ 3∀ 3 ∀ (##.% .
7 ?0 0 < = ∗ ∀ 3 ∀ = Α = ∀ < ∗ ∀ 0≅≅
7 ?0 0∋ < = ∗ Β< = Α Χ 3 Β3 ∆ 2Χ = Α = Β3 .
7 ?0 0( = ∗ 3 ? = ∗ ∗ = = 0≅9
∀# ∃# %# &# ∋ ) ( + + , + . . .∀# . # .% .) 2 . 2 .∃ . 2 2 45. 45. .54 45. .
8 Γ1 1∀ Χ Ε + ∀ 7 ∀ Ε Η Ε ∀ Χ + ∀ 1ΒΒ
8 Γ1 1∃ Χ Ε + ∃ ΙΧ Ε Η ϑ 7 ∃ Ι7 ∆ 9ϑ Ε Η Ε ∃ Ι7 / + Κ Χ + ∃ ΙΧ ∆ ϑ Κ ϑ 1ΒΒΒ
8 Γ1 1 > Γ + 7> 9 ; + + 8 Γ1 1% Ε + 7 Γ Ε + + Ε Ε 1Β3
!∀ # ! ∃ % & ∋ ()∗+, ∀ −&. /)0,11 ,, ∗) ∗) 2 −&.
