!
∀#∃
%
∀&∃ ∋
(
)
∀∗∃
+
∀,∃
)
∀−∃ ∀.∃
/
!
!
/
! (
0
1 2
3∋ ∀#∃
4
∀5∃
∀6∃ 7
!
! ∀8∃
9
4
∀#:∃
!
(
4
!
!
4
4
3
!
!
∀##∃
; 2 5 &::5
3 < ! ! ∋ 7 ! = > 1
:#,# −,6 ,6−#? +1 :#,# −−& −#:−? ) 1 ! ≅ (Α
; ! ∋ 7 ! =
> ) 1 ≅ (Α
3 ∋93 39
3
3 0Β Β 393
/
!
3
%
9
Χ
!
1
∀#&∃
!
!
!
2
# 3
/
!
&
4
7
!
&
∀#∗∃1
& &
&
&
−
+
&
−
&
=
λ
λ
>#Α
!
+
1
(
&
&
)
(
(
)
(
&
&
&
&
)
)
&
=
−
λ
−
+
λ
−
>&Α
9
Χ
)
!
! (
3
!
+
1
(
)
(
&
&
)
&
&
&
&
=
−
−
−
λ
−
λ
>∗Α
λ
3
!
/
4
D
;
D
2
!
∀
!
2
&
+
∀#∗∃1
&
&
&
−
&
+
−
=
λ
λ
>,Α
+
1
(
)
(
)
−
+
−
−
−
=
&
&
&
&
&
&
&
λ
λ
>−Α
!
1
(
&
&
)
&
&
&
&
−
−
−
−
−
=
λ
λ
>.Α
/
D !
# ∃
∀
!
!
2
∗
(
!
!
!
(
1
& &
&
#
#
+
&
−
&
+
−
−
=
>5Α
+
1
(
)
(
)
(
)
−
+
−
+
−
−
=
&
&
&
&
&
&
&
&
#
>6Α
2
)
!
+
1
(
)
(
&
&
)
&
&
&
&
−
−
−
+
−
−
=
&
#
>8Α
!
Β4 >8Α
Β4
>∗Α
>.Α
!
D
!
!
3
(
7
9 <39 Β 392
/
/
+
!
/
(
4
!
+
1
+
+
+
−
+
−
−
+
=
&
&
∋
∋
&
&
#
#
& &ω
λ
λ
λ
λ
&
&
>#:Α
!
4 Ε∋
=
# & ∗
4
,&
+
1
(
)
(
)
(
)
∇
+
+
+
∇
+
−
+
−
+
−
−
=
∋
&
&
∋
∋
&
&
&
&
&
&
&
&
&
&
&
#
&>##Α
!
∇
=
∂
∂
∀
∂
∂
∂
∂
!
∇
=
∂
∂
#∂
∂
&∂
∂
∗
Β4
>##Α
!
1
(&
∋
&
#
=
&
>#&Α
!
−
−
−
=
, # & # , ∗ & ∗ ,(
>#∗Α
2
+
(
)
(
)
(
)
+
+
∇
+
∇
+
−
+
−
+
−
−
=
(
&
∋
(
&
&
#
#
&&
&
&
&
&
&
&
&
>#,Α
D
!
+
1
(
)
(
−
)
−
∇
−
−
+
−
−
=
#
#
&&
&
&
&
&
&
>#−) Α
∇
+
+
−
=
∋
&
(
&
&
#
,
&
>#−) Α
!
Β4 >#−Α
∋
4
∀##∃
+
!
0
;Β 39 Β∋ 9 ∋!
/
!#
+
2
,
/
2
− !
2
.
!
/
)
)
)
(
!
) ∗
+
,∀ −
+
. / #1
−
,∀ −
+
. / 21
−
,∀ −
+
. / %11
−
3∀ −
+
∀
3∀ −
+
∀
!
∀
#
∃
#
%
∀
#
#
0
9 ∋3
!
! (
+
7
! (
+
/
!
!
Β2Β Β Β∋
∀#∃ = Φ )
Φ Γ 0 − #
#86. 8:)86
∀&∃ ∋ ∋ 7 Η Φ
Ι 3 0 #∗ &::&
&:5)&&&
∀∗∃ 2 ; ϑ ; Κ3 )
Ι 3 Γ
0 #:# #::6 #885 &−−)&.&
∀,∃ ; Φ3 +
Φ Β∋3 Γ 0 #5 #88∗ #−8)#.8
∀−∃ %% 9 %% ; 3 Φ
Φ 3 ):−) # , :∗ −.
3 2 ( ( Γ ∋ &::−
∀.∃ 3 < ! ; Φ3
Φ 3 ):.) # ∗ :, −5
3 0 ∋ &::.
∀5∃ 0 = Φ; ! 4
1 Β+ Φ ΒΒΒ
∋ ; 0 &: . #88:
#,&∗)#,∗.
∀6∃ Β Β = ( ΦΒ+
Φ ΒΒΒ 3
0 6 − #88& −:#)−#6
∀8∃ 2 ; ϑ Φ3 )
Φ 7 ! #885
∀#:∃ 3 < ; Κ ) )
) ! 9 ∋
∋ Ι Γ 7 0 &∗ .
&::: 85#)858
∀##∃ 3 < ! ; Φ∋
4 Φ
&− 7 ! = ∋ &::.
∀#&∃ Γ) 9 Φ Φ = ! 3
#88# 5
∀#∗∃ 3 < ! ; Φ 7 % 2
3 ) 3 Φ 3 −6 3