∃ 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 : ∃ # ∃ ) : ∀ ∀ , ∗ ; ∃ ∗ ∃ ∃ ∗ ∃ ∀ # ) ∗ ∃ ∗ < ∀ )
+ ) ∗ ∀ ∗ = ∗ : )∀ ∀ +,3 ) ) 4 )∀ 5: ) 6 ) ∗ = 4) > 2 5 ∃ ∀ : ∀ ∀ : ) : ) ∃ ∀∀ :
! , ∃ # ∀ Β 2 ∀ ∃ ∀ ∗ ∀ +,3 9 ) ∀ ∀ / ) ∀ = ∀ ) ∃ ∃ ∀ ! ∀ ∃ : # )∀ : )∀ ∃ # ) : #
# )) ) ∃ : ∃ Β , ∃ ( ∃ ∗ ∀ ∃ ) )) ) .
7 : : ∃ ∗ ∀ : ) ) ∀ # ∆ ∀ 7 : ∀∀ ∃ ∗ ) 7 (# ∃ # ∀ ∋ ( ) .
) ∗ Β ) > ∀ , ∀ ∃ )∀ ∀ : )∀ ∀ ∀ , ∃ # Β ∃ ( ∀ ∀ : ∀ ∗ ∀ , ∗ +,3 ∗ ∃ ∀ : ∃ : )
!∀ # # ∃ ∗ ∋ ∗ ) ) ∀ ) ∃ ∃ ∀∀ ∃ ) # )) ∀ ) > )∀ = ( ) ∀ # ) : ) ∀ ∀ ) ) ∀ # ∃ ∀ ) Γ ∀ : # ∗ ∃
) Γ ∀ ∀ ) : # / # ∃ ∀ )( ∃ ) ) ) Γ ∀ / # ∃ # ∀∀ ∃ # ∗+ )∗ ) ) # ∃ ) ∃ ∋
( Ι ∃ ∀ 3 Ι # ∀ . Ι # Ι ) ϑ Ι ) ( Ι 3 Ι . Ι Ι ϑ Ι # ∀ # ∀ # ) ∃ ( Ι 3 Ι .
% ∀ ∀∀ # 9 # , )∀ 4∃ # 5 ∀∀ > % )( > ∀ = )( = )( > ∃ = = % = ∋ ) 4Λ Μ5 + 7+ () )∀ Λ∋ Ν, () )∀ Λ Ν, , )∀ # ) ∃ ) > % Μ / ) +,3 4 ∀∀ > 5 2
∋ ( ) ∗ ; ∗ ∀ ∀ # ∀ ) # + + )∀ ∃ ∗ Χ3= Χ # ) ) )∀ ∀ )∀ # ∃ ∀ ∗ ) = 0 ) )∀ # ) ∀ ∃
/ ∀ ) ))∀ ∃ ) ∀ ∀ ∃ / ∃ ∀ 4 ∃ 5: ) # : : 9 > ) # ∃ ∃ : ∃ ∃ # ∀ ∀ / )
() ∀ # ∆ ) ∀ , ) ∀ ∀ ? : ) )∀ Χ ) ) ∗ ∃ ) ∃ # 4 Ι 65 ∀ ) ∀ 7 ) ∀ ∀ ? ! ∃
. / / ∀ ∀ : 7, # ∗ ∀ ? # ) ) )) ) Η/7ΕΗ : ) ∃ : ∋: : : ∋: ) Η Η 4∀ 5 ) ∃ ) ) ∗ : ∃ ∃ +,3 7, # )
0 1 ) / : Θ : Ε / : : ∀ : : 7, : ∀ ∀ : # Φ 7 ) ∃ ∃ ∀ ) ∃ ∀ ∃ 7 ∃ ∃ ) ( : ∃ ∀ ∃ ) ∃
+ ( % + ) # ∗ ) ) ) # = 0 ) # ∀ : ∃ ∀ ) +,3 0 ) # ∀ ∃ , ∗ ∃ 0 ∗ Φ , ∗ )∀ ∀ 2 # ) : > ∀ & + ) 2
, 6 ∃ ) ) ) ∃ = Ρ Ρ Ρ%8Ρ∋ # 4∀ ? # Η Η5 ) 4∃ # ΗΛΗ5 ∃ ∀ Ρ Ρ # 4∀ ? # ΗΛΗ5 ) 4∃ # Η Η5 7 ) ) ∃ ∀ 4 Ρ% Ρ∋5 : ∃ ∗ ∃ : # ∃ ∃
− , 6 ∃ ) ) ) ∃ = Ρ Ρ Ρ # 4∀ ? # ΗΛΗ5 ∃ ∀ ) 4∃ # ΗΛΗ5 Ρ # 4∀ ? # Η Η5 Ρ ) 8 4∃ # Η Η5 7 ) ) # ∃ ∀ 4 Ρ 5 4 Ρ 5: ∃ ∃ (
, 6 ∃ ) ) ) ∃ = Ρ # 4∀ ? # ΗΛΗ5 0 ) ∗= ; Ρ Ρ Ρ # 4∀ ? # Η Η5 ∀ ) 8 4∃ # Η Η5 ∃ ∀ Ρ ) 4∃ # ΗΛΗ5 ( ∀∀ # : Ε / ) ∃ ∃ ) ∀
, ∗ + / 8 ) ∗ ) ) ) )) Φ + = ) )∀ 7 # ) ) ) ∗ : ∀ ) # ∗ 4 ∋ 5 : ) ! ∃ ) ∀ )∀ ) +
; # ) ∀ 4 # ∀ 5 7 ∀ 2 ) # : ) > ) ) ∀ ∃ ∀ ) ∗ # ∀ 2 # Β ∀ ) ∃ ∀ )∀ ) +
6 ∀ ∃ # ) ∀ ) : ) > ) ) ∀ ) ) ∀ ∀ ) : Β ∀ ) ∀ )∀ ) > ∀∀ ) ∃ ) )
. ) ∀ ) ∃ , # 8 8 ) )∀ , 7 # ∀ ∃ ) ∀ Χ %% Χ ∋ ∋ ) ∃ ∀ = ∀ ) ∗ , ) ∀∀ # ) ∗ ∗
) ) ∗ ) . . 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 −&.