!SiTh"SJB λ∧α+⊂)DH"λεβ_ Gα(⊂(t()Pd¬⊂"Pdα(⊂(t(⊂λ∧∧ "Th5⊂$T
DH'SH3_ εβλ⊂ εβ_ (3_ εβ ⊂ εβ_ Dα⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ_
Dβ_ εβ_⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ ε∪⊂ εβ_
∧α⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ_LDβ_ εβ(⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ ε∪ ⊂ εβ_
Dα⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ_MDβ_ εβ8⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ ε∪H⊂ εβ_∞∧α⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ→ $β_ εβH⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ ε#⊂⊂ εβ_L∧α⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ→
$β_ ε∪λ⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ ε#8⊂ εβ_LDα⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ→∞$β_ ε∪_⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ ε3λ⊂ εβ_M∧α⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ→LDβ_ ε∪(⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ ε3 ⊂ εβ_MDα⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ→MDβ_ ε∪8⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ ε3@⊂ εβ_N∧α⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ~ ∧β_ ε∪H⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ εCλ⊂ εβ→ ∧α⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ~
∧β_ ε#λ⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ εCH⊂ εβ→ Dα⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ~L$β_ ε#_⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ εS_⊂ εβ→
∧α⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ~N∧β_ ε#(⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ εc⊂ εβ→
Dα⊂λ
5(!∩HT_*∞D¬⊂"T u⊂*λ u⊂"⊃*"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λε2"⊃(2_N'β!Lεβ≠
Dβ_ ε#8⊂λ∧α)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ λ3_ εs⊂ εβ→∞λ3_ εsλ⊂⊃)d &Rh10≥@wαv}x1πN∂0xπ=`X[{l Pxε=`X[{kq0xβ≥`X[{kY⊂x∩]`X[{k@px∩]`X[{k(Px∩]`X[{k⊂0x∩]`X[{jx⊂x∩]`X[{j←px∩]`X[{jGPx∩]`X[{j/0x∩]`X[{j↔⊂x∩]`X[{i}px∩]`X[{ifPx∩]`X[{iN0x∩]`X[{i6⊂x∩]`X[{i≥px∩]`X[{i¬Px∩]`X[{hm0x∩]`X[{hU⊂x∩]`X[{h<px∩]`X[{h$Px∩]`X[{h 0x∩]`X[{gt⊂x∩]`X[{g[px∩]`X[{gCPx∩]`X[{g+0x∩]`X[{g∪⊂x∩]`X[{fzpx∩]`X[{fbPxβ≥`X[{fJ0xβ≥`X[{f2⊂x⎇`X[{f→p βx ↓;80u`∩@X ⊂)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧ ) D¬⊂↔λλ5⊂ Uhdx)⊃∧α⊂⊃J$x&ND∧`$PJ$λ)⊗$∧λ'⊃∧¬*PIDH!P*DH'SJ2!SiTh$U
D("H∧α⊂λ∧α⊂λλ4x&T
U "TD¬_!R(Tp!Q$∧ "Tλ∃⊂*∪(Tp*λ∧α⊂λ∧α⊂λ
5 SHdx)⊃∧¬('∩*d()∀i∃ ,H∧α⊂λ∧α⊂λ
5 SHdx)⊃¬B!P$βH~ fβ(⊂∃*4λ*~ R3≠mF`7]m⊗p3H∞&(8≠n' 9H∞F@0]∧πH7]$ε@0]LR7\LF(9→,B0\LR2[L6`7\lV ⊂≥m↔ 4λ∞F@4\dπ0Xm6H7→dπ_6~.βP)Uλ∀p⊗Pj2h≤ ¬S8≤M¬εh4Xn&x3~,6@2J$¬ TI$λ' ∧¬⊂"PhTp*λλD(+⊃)Dx( D∧H'λλ4x&T D(,∩*EH⊂∪hb!SiT⊂$SH∃ 'TI∀λ&λ¬bp↔∀jDλ' (5_⊗Nεαh≠N&R@6Z,7⊂7YM⊗_4→%∩%SJU $ ∧¬ $⊃$∧`"U
D()λ
5_*⊂)bh!TeS@_ &sH≤
VH1\Mv04Xmε(∀Hλd`'V(B∪λ
T`&∪(∀p⊗λλ4x&T ∀` U ∀x'λ t0⊂∀HT8*Sλ∃⊂⊂⊃+¬)⊃*5_$Sie_↔ Ed ) D¬⊂↔λλ5⊂ Uhdx)⊃∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_~ F∃⊂ QλU* D∧x#λ Tλ*∩∧α0⊂⊂ith(∃*D()λ
4_$Q)d_"H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬8"TjD()∪D∧X"SJE(!Rk∩*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂⊂Iu8&∩)d8⊂⊃j$("SEB%Q)e *Pi5H⊂λεC⊂_Lε∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xε≥`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∃=`X[{ifPx ]`X[{iN0x∀≥`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Px≥`X[{hm0x≥`X[{hU⊂x ]`X[{h<px ]`X[{h$Px ]`X[{h 0x ]`X[{gt⊂x≥`X[{g[pxλ⎇`X[{gCP ↓:@↓;80u`∩@X π )U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬_ SI$λ,H TH*∃λ∀`⊂λ∧∧0)∪iSP⊂∪ ∀⊂)⊂*%H⊂⊂)d ⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x&S)∃ *⊃(R⊂λ∧α⊂λ∧α!SiU*UλU⊂⊂∀h4H"SH4(⊂⊃λU TJDh"SJB⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊗λλ4λ⊂∞&C__
$¬()P*F@2H fx6≠
w84[Lr9→.εx9≥∞2:~ ↔ ⊂≡-w(⊂~ ↔02H
w⊂2→.&(2λ ↔⊂2H Vp1[
w_2Y∧π84]
α:~
↔_⊂~-g07Z,6(≥∀jDλ' (5_⊗Nεαh≠N&α@6Z,7⊂7YM⊗_4→%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THU_*⊂)bh!TeS@_ &sH_J
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&"@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*tλ$S%S_→M%εh4Xn&x3~,6@2J$¬_ S*T(& ∧∧()ThTp*∩(∀`⊂⊃(⊗_1[n& 4[Lr:≠dεx:\Dπ⊂2Xmw⊂2≤dπH7]$ε@0]LR0H &λ6_-f_2H G(2H
v0⊂ ∧β__ Fs(⊂→N&x6H
w⊂2→.'_⊂≤∞&(;~-w(9[∂↔_4~.π2Y¬b(≠ Vλ9Y$εh0ZlR<[nW⊂⊂_mε(1Zdπ0↑,⊗⊂6→%B4[D∧λ6Y.&H1X-b2≠mF`0\N2`⊂≥
r0⊂j4 ⊂∀nFλ7→Mw⊂2λ
Vp4]LW⊂9Z.GH∪H ⊗p2λ∞&(:≥.&p⊂~.B;Z.F@⊂≥
ε(⊂~-g07Z,6(⊂_.B:~ R1≠nG 7[$εx3λ∞F@4\dεh2[-rp⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%R$SJdx$PhR⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%U_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧H'∃ItH!Q$∧p'ND∧_%∀eT "Pf3λ≤Nε∧ 2\ ↔⊂:≠,Vp:λ
v0⊂⊂mvh8≥.F(9λ
6_4Y-f_2T∞V⊂6~,6λ:~-vp9H v03~,6()] ⊗p3≠n& ⊗λλ6λ6~,fx9≠M⊗λ⊂∞&C__
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλDλ*⊃'"→HλD(!Hε∪H≤
4x&⊃∧¬ 'NDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλ5()U th"TD∧p'KG"~ f$λ*λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀¬dx↔λ dx↔∞D¬_ SI$λ,H TH*∃λ∀`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_~ f$λ*∪i∧H'H
5 UλR*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧ "T
Bp⊂⊂ith(∃*D()λ∧b$SHdx↔λ
4_$KDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂ Fβ_≠λ d($S∧∧λ+⊃)e("H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧_'S
Th!∃*2`⊂∪i∧H'H∧β →LF∪⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀jDλ' (5_⊗Nεαh≠N&α@6Z,7⊂7YM⊗_4→%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THU_*⊂)bh!TeS@_ &sH_J
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&"@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*tλ$S%S_→M%εh4Xn&x3~,6@2J$¬_ S*T(& ∧∧()ThTp*∩(∀`⊂⊃$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
7(1λ
Fx:_-B⊂λ∧α⊂ ∧α⊂ Fβ⊂∃%e_↔λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀∞&(;~-w(9[∂∩"≥,R∩λε3↔
fR*KJ2p⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α*_/ε(9H∧α⊂λ∧α⊂λ∧α⊂λ bp KDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂ %Rh⊗K%Rh⊗K%Rh(∪λTλ)Q$¬⊂"S)∃ ⊂∃ ∧H)Hλ∀h'U)e ⊂∩)b*KJ2p"∪iD` TJ2⊗K'b⊂λ∧α⊂λ∧α*≠nFλ6λλG(2H∧α⊂λ∧α ⊂ fαp≠M$¬(↔∀eb'∪jD(≥λ∧∧h$Pj$x#∩(4@"H ∃_⊂⊃J$("H t0⊂⊂i∧λ)⊃hRh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%T 4\l6`0Z-V(9∞D¬ 4→$∧_7[.π(:→.")Xm⊗(7_lR"→.ελ9≥
V(7≥∧εx3λ
7 0[Lfx9→∧¬(7~.f(9≤m↔ <H∞vH6≠∧εp7] W@1Z ⊗p3Y$εx9λ
↔_9],R1\LV 4]∧ε07\Dπ⊂2]∞W⊂7→,B8≥,&`4Xl↔ 4[mg_⊗λ ⊗p2λ
↔_⊂≠Mw ⊂≤LW_8≠mg_4XMF(⊂→Mw⊂2_-Vλ3Y.24[L7(9≤LV ⊂~-b9Z
↔6Y-g ⊂≠lb8≥,&`4Xl↔ 4[mg_↔ %Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗T
F(0\lR6X-6(⊂_mε(1Zn28_/⊗λ1≠ R:≠dε!ThB)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩8⊂_-f ⊂→Mw⊂;X.& ⊂≤ ↔H6Y-g ∀_-Fx7→dπ84]
α:~
↔_⊂~-g07Z,6(∀H∞Fx≥λ∧α⊂λ
5 SHdx)⊃∧¬('∩*d()∀i∃ ,H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧ "Tλ∃⊂*∪(Tp*λ t0⊂⊂ith(∃*D()λ
4_$Q)d_"H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧λ*∃λTp*∩)tp⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x'THDH'⊂*Dx)λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H∧¬(↔∀edλ↔wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x¬]`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∩⎇`X[{j↔⊂x≥`X[{i}px∂]`X[{ifPx⊂]`X[{iN0x∩]`X[{i6⊂x ⎇`X[{i≥px≥`X[{i¬Px∀=`X[{hm0x∪⎇`X[{hU⊂x⊃]`X[{h<px≥`X[{h$Px∀⎇`X[{h 0x≥`X[{gt⊂x∩≥`X[{g[pxπ]`X[{gCPx∧⎇`X[{g+0xε]`X[{g∪⊂x⊂≥`X[{fzpx⊂⎇`X[{fbPx∞]`X[{fJ0x≥`X[{f2⊂x ]`X[{f→px ]`X[{f↓Px ]`X[{ei0x ]`X[{eQ⊂x ]`X[{e8px≥`X[{e Px≥`X[{eλ0x∂]`X[{dp⊂x⊂]`X[{dWpx∩]`X[{d?Px ⎇`X[{d'0x≥`X[{d∂⊂x∪⎇`X[{cvpx∪⎇`X[{c↑Px∩]`X[{cF0x∪]`X[{c.⊂x∀≥`X[{c∃pxλ⎇`X[{b⎇Px∀≥`X[{be0x∩⎇`X[{bM⊂x∪]`X[{b4px =`X[{b≤Px∀≥`X[{b∧0x∩⎇`X[{al⊂x
=`X[{aSpx⊂≥`X[{a;Px⊃≥`X[{a#0x∂≥`X[{a ⊂ ¬6 ↓;80u`∩@X ∂`⊗H¬R⊗H¬R$U∧∧H)H ∀h(∪j% SJB*∩λ∃ ⊂∃ ∧H)H ∀p+∪i∀_"Hλ$(⊂∀HU *TId("λ
tH*∩∧¬H'U*"(⊂+∀h"SJB⊗H¬R⊗H¬Pwαv}x1πN∂0x≥`X[{l Px∪⎇`X[{kq0 ∪`↓;80u`∩@X ↓@)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧ ) D∧p"S
4x'λ αp⊂⊃Eb!⊃(T⊂"H∧α#∀Ith≥λ DH!∀H∃⊂,Hλ∀p"λ
¬(!∪ ∀_ U ∀x'∀d∧_'S)TH*∃λT(⊂λ∧α⊂λ∧α⊂⊂ith(∃*D()λ
4_$Q)d_"HλD((⊂*% &Q)e ⊂λ∧α⊂λ∧α⊂∀jDλ'⊃Iu⊂"λ
Tp$UHU⊂)R*EH⊂λ∧α⊂λ∧α⊂∀jDλ'⊃Iu⊂" ∧∧_ Hπ∪ →LεR*Th∃ 4→$ε07[
Fx;Z-f8⊂≤LW7\NG_⊂≥
ελ:λ∂⊗x:H
ελ;→$εx9→ W⊂2Y∧ελ9→$ε(7_mFx9Y,B;Z.F@⊂≥
εH9H∞ελ1Zm⊗p3H∞6`4\π%_*⊂)bh!TeS@_ &sH_J
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&"@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*u_*⊂)bh!TeS@_ &sH~
VH1\Mv04Xmε(∀H
Dλ)∩H∀p⊗λ
$(!Q)e ⊂⊃λU0"S u↔λ ∀p⊂⊂ith(∪λU@$U ∩'QD∧_'S($H'⊂*Dx)∩(∀`⊂ Ebp)Uλ∀p⊗Pj2h≤ ¬S8≤M%εh4Xn&x3~,6@2J$∧X'∃*D@⊗λ
D@"H D(*∃λU⊂⊂∀h∀H&K&3_~J
VH1\Mv04Xmε(∀H
4λ&U(T`⊗λλU_)Q)e $P)B"TjDλ' (5_⊗Nεαh≠N'∩@6Z,7⊂7YM⊗_4→%∩#∀I∀("∪(∀p⊂⊃*B S¬b`⊂∪*T`*∩(DH&Q)e_$Sidλ&λλ∀ "∩*DH+⊃$¬_(∪ ∀p"Hλ∃(∀Iu@↔∀jDλ' (5_⊗Nεαh≤ ε2@6Z,7⊂7YM⊗_4→%∩+⊂)b+V)2`⊂∪λ∀p#U(∀8"Hλdx)λ
EH(⊃*4(*∃ ∀p#Hλu⊂ T ∧H!Tdα@*∩λU_$Te∀ ) D∧p"S
4x'λ αp⊂⊃Eb!⊃(T⊂"H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_≤
ε∃_#⊃λU TJDh"SJB'QD¬$⊗*4H!Tdα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬('∩*d()∀i∃ ,H t0⊂∃*Dλ$λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀h∀`*λ Dλ%Q$∧_$U ∩`⊂∃*Dλ$λ∧β@~ &∪⊂⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xπ⎇`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px⊂]`X[{ifPx∩]`X[{iN0x∃=`X[{i6⊂x ]`X[{i≥px ⎇`X[{i¬Px∃≥`X[{hm0x∪]`X[{hU⊂x≥`X[{h<px≥`X[{h$Px≥`X[{h 0x≥`X[{gt⊂x ]`X[{g[px ]`X[{gCPx ]`X[{g+0x ]`X[{g∪⊂x≥`X[{fzpxλ⎇`X[{fbPx≥`X[{fJ0 ↓⎇@↓;80u`∩@X λ@)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧8"Sj$8"HλBp⊂∩λ∀ "⊃)b⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥∀
d8⊗L&b@6Z,7⊂7YM⊗_4→%∩&∃(4X$⊂)R∪λ
∧x&⊂)2`⊂⊂(Dλ⊂⊃+∧_"T
DH'SJ5_*⊂)bh!TeS@_ &sH_J
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&"@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*u_*⊂)bh!TeS@_ &sH~
VH1\Mv04Xmε(∀H
Dλ)∩H∀p⊗λ
$(!Q)e ⊂⊃λU0"S u↔λ ∀p⊂⊂ith(∪λU@$U ∩'QD∧_'S($H'⊂*Dx)∩(∀`⊂ Ebp)Uλ∀p⊗Pj2h≤ ¬S8≤M%εh4Xn&x3~,6@2J$∧X'∃*D@⊗λ
D@"H D(*∃λU⊂⊂∀h∀H&K&3_~J
VH1\Mv04Xmε(∀H
4λ&U(T`⊗λλU_)Q)e $P)B"TjDλ' (5_⊗Nεαh≤ ε2@6Z,7⊂7YM⊗_4→%∩+⊂)b+V)2`⊂∪λ∀p#U(∀8"Hλdx)λ
EH(⊃*4(*∃ ∀p#Hλu⊂ T ∧H!Tdα@*∩λU_$Te∀8"Sj$8"HλBp⊂∩λ∀ "⊃)b⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_≠ '∧( Pitx)⊃ ∀p UλT ⊂∀h4H"SH4(⊂∪λ∀⊂⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬('∩*d()∀i∃ ,H t0⊂∩)D`$SItH)H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∃*$⊂ SH∩`⊂∩)D`↔λ∧β0_Nεβλ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xε=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ]`X[{ifPx⊂]`X[{iN0x∩]`X[{i6⊂x∃=`X[{i≥px ]`X[{i¬Px ⎇`X[{hm0x∪]`X[{hU⊂x≥`X[{h<px≥`X[{h$Px≥`X[{h 0x≥`X[{gt⊂x ]`X[{g[px ]`X[{gCPx ]`X[{g+0x ]`X[{g∪⊂x≥`X[{fzpxλ⎇`X[{fbPx≥`X[{fJ0 ↓s@↓;80u`∩@X λ@)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬ RhTx⊂∩h∀p QλR⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥∀jDλ' (5_⊗Nεαh≠N&∩@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B&⊂)d8*P(t(⊂∪(∀p*P)E_*⊂)bh!TeS@_ &sH→
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ ∀h(∪λTh"SJDλ*∩)tp⊂∪jd()∃I∀(+P)∀h⊗Lf3(∀≠-⊗_9≠lfH1Z RH⊂∀h∀h*Q)B`⊂⊃*5_"SJDH S∧∧()Uλ∀p⊗Pj2h≤ ¬S8≤N%εh4Xn&x3~,6@2J$∧0)∩(T &P)b"U∧∧λ& EB&U)E $Q ∀h"SJ4H'SH∀`⊂⊂(D $U ∃0"H
5&∩)d(⊂⊂*¬)∪kαp*⊂)4('H 4λ'⊂(D(⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊃L&S⊂"P(4x&T
U "TD¬_!R(Tp!Q$∧ "Tλ∃⊂*∪(Tp*λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α!P*$p"Qi∀(⊗S(T`&∪ib*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
∧H*∃
4⊂*THt@⊗λ
∧λ⊂λε∪(→ &2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α'∪jD(≥λ∧∧h$Pj$x#∩(4@"H ∃_⊂⊃J$("H t0⊂⊂i∧λ)⊃hPwαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x¬=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px⊂]`X[{ifPx∩]`X[{iN0x ⎇`X[{i6⊂x∃≥`X[{i≥px≥`X[{i¬Px≥`X[{hm0x≥`X[{hU⊂x≥`X[{h<px ]`X[{h$Px ]`X[{h 0x ]`X[{gt⊂x ]`X[{g[px≥`X[{gCPxλ⎇`X[{g+0x≥`X[{g∪⊂ ↓F`↓;80u`∩@X π`)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧`$PJ$λ)⊗$¬⊂'SiR→
G∀λ⊂λ∧∧0)∪iSP⊂∪ ∀⊂)⊂*%H⊂⊂)d ⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x&S)∃ *⊃(R⊂λ∧α⊂λ∧α!SiU*UλU⊂⊂∀h4H"SH4(⊂⊃λU TJDh"SJB⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊗λλ4λ⊂∞&C__
$¬()P*F@2H fx6≠
w84[Lr9→.εx9≥∞2:~ ↔ ⊂≡-w(⊂~ ↔02H
w⊂2→.&(2λ ↔⊂2H Vp1[
w_2Y∧π84]
α:~
↔_⊂≤ ⊗_5Z-f8⊂≤mFH8∞J¬0#K&∪0∀≠-⊗_9≠lfH1Z RH⊂∪
T_%Rλ∀h⊂ D¬'Sλ∀X⊗λλ∀ HλU@!Q*¬ $Sie_)Uλ∀p⊗Pj2h≤ ¬S8≤L¬εh4Xn&x3~,6@2J$¬8$Q(D()∩ t`" ∧∧ Uλ∀⊂ ThU_⊂∩)b$⊃(∀`*∩λ4λ)⊃*5 SET_)K'β⊗Mg∪λ∀≠-⊗_9≠lfH1Z RH⊂∃i∀`!Skα"U∧∧λ& EB&P)∀p)P)∀`⊂∪λ∀p#U(∀8"H Tλ'∃(∀`)Uλ∀p⊗Pj2h≤ ¬S8≤LEεh4Xn&x3~,6@2J$¬8$Sλ4x,λλU ⊂⊂)Bp⊗λ Tλ$SJ4λ$S∧∧H&T D(&Q)e U ∀x'λ u0"TJdH"Uj5 SET_)K'β⊗Mg∪ ∀≠-⊗_9≠lfH1Z RH⊂∃λ∃⊂%⊂)b`⊂∀HT_"SJB"⊃*d(&∪jαp⊂∩)b!SiU&⊃+∧H*⊗$∧x#λλ4x&PI∀p U u⊂$P)B↔ Ee_*⊂)bh!TeS@_ &sH~J
VH1\Mv04Xmε(∀H 4p*U α`⊂∃ ∧(⊂∪λU *⊃*")TjDλ' (5_⊗Nεαh≠N&r@6Z,7⊂7YM⊗_4→%∩#P*$_$P%Th'S ∀p H∧b+R(T "TI∧x&⊃¬B)⊃(∀ ⊗Sid`,H
E⊂ SJ4λ!U ∀x'∀ebp↔∀jDλ' (5_⊗Nεαh≠N'α@6Z,7⊂7YM⊗_4→%∩#∪ uH"λ∧b*S Dh SEB!SiU$Sλ∃ $Sib'QD¬⊂"QjT` TD∧(,∀
$()Ti∀x'∀ebp↔∀jDλ' (5_⊗Nεαh≠N'∩@6Z,7⊂7YM⊗_4→%∩#∀I∀("∪(∀p⊂⊃*B S¬b`⊂∪*T`*∩(DH&Q)e_$Sidλ&λλ∀ "∩*DH+⊃$¬_(∪ ∀p"Hλ∃(∀Iu@↔∀jDλ' (5_⊗Nεαh≤ ε2@6Z,7⊂7YM⊗_4→%∩+⊂)b+V)2`⊂∪λ∀p#U(∀8"Hλdx)λ
EH(⊃*4(*∃ ∀p#Hλu⊂ T ∧H!Tdα@*∩λU_$Te∀λ$S%S_→MEεh4Xn&x3~,6@2J$∧h↔λλ%⊂'Si5_⊗λλD(*⊃*$h$SI∀p#Hλ4x)∀HT_*∪HU_)Hλ%H⊂∃λU_*∩)d8⊂
D@"Ti∃_∀S ∀⊂)⊂*%H⊂∀Itx&Hε#0≤P$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λfcλ≤∀hd_'THDH'⊂*D(⊂∀h4H⊂∪λ∀⊂⊂∃)dH⊂∪hb$S B⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂ &∪_H
rp⊂∀j¬⊂$SHt0$Q)D ⊂⊂*d(⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬()⊂H∀p K∧∧H&∪ ∀p'R*2⊂
F∪@_ $α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∪Iu "NDα&R(5⊂'QI∀_$⊃$∧H)Hλe⊂"Q$∧x#λλ4@ THt(wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xε]`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ]`X[{ifPx∂]`X[{iN0x⊂]`X[{i6⊂x∩]`X[{i≥px∃=`X[{i¬Px ]`X[{hm0x∀≥`X[{hU⊂x∀≥`X[{h<px∃≥`X[{h$Px∪]`X[{h 0x∩]`X[{gt⊂x≥`X[{g[px≥`X[{gCPx≥`X[{g+0x≥`X[{g∪⊂x ]`X[{fzpx ]`X[{fbPx ]`X[{fJ0x ]`X[{f2⊂x≥`X[{f→pxλ⎇`X[{f↓Px≥`X[{ei0 αI↓;80u`∩@X @)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬)∪hbp⊂⊂(Dx&⊃Ir#U+$h SDα⊂⊃J$x&ND∧`$PJ$λ)⊗$∧λ'⊃∧¬*PIDH!P*DH'SJ2!SiTh$U
D("H∧α⊂λ∧α⊂λλ4x&T
U "TD¬_!R(Tp!Q$∧ "Tλ∃⊂*∪(Tp*λ∧α⊂λ∧α⊂λ
5 SHdx)⊃∧¬('∩*d()∀i∃ ,H∧α⊂λ∧α⊂λ
5 SHdx)⊃¬B!P$βH~ fβ(⊂∃*4λ*~ R3≠mF`7]m⊗p3H∞&(8≠n' 9H∞F@0]∧πH7]$ε@0]LR7\LF(9→,B0\LR2[L6`7\lV ⊂≥m↔ 4λ∞F@4\dπ0Xm6H7→dπ_6~.βP)Uλ∀p⊗Pj2h≤ ¬S8≤N¬εh4Xn&x3~,6@2J$∧0&∪k∀ ⊂ D¬(&∪ Tλ' ∧∧_'S*∧H&⊂*DH'SD∧x#λ
$(#U)Dλ)λλU@(∀HU_)R)tp)KEbp)Uλ∀p⊗Pj2h≤ ¬S@_ eεh4Xn&x3~,6@2J$¬0 SD¬8,ReB&⊂)d8*P(t(⊂⊃Iu⊂⊂∃ ∃"ThU *∩)d8⊂⊃j$λ(∩ ∀_)H¬¬ $⊃*4H)J*¬⊂'QEb Q t`#∪d∧8*VITλ'λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧4h"Vλdx$R)Tλ)H¬R*SH∀h⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλ∃"∪dβ⊂_ &s⊂≠λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α&Q+∧H!Sdβ⊂_λλD0⊂λ T(,∩(4x⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ dx*⊃'"⊂∪)∀_)∪hdH!RλR$Td∧0)⊃(R'QD∧_$⊂*$8"@wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xπ≥`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∀≥`X[{ifPx∪]`X[{iN0x≥`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Px≥`X[{hm0x ]`X[{hU⊂x ]`X[{h<px ]`X[{h$Px ]`X[{h 0x≥`X[{gt⊂xλ⎇`X[{g[px≥`X[{gCP ↓. ↓;80u`∩@X π )U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧⊂↔λλ$x+S(∀p⊂λ∧∧0)∪iSP⊂∪ ∀⊂)⊂*%H⊂⊂)d ⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x&S)∃ *⊃(R⊂λ∧α⊂λ∧α!SiU*UλU⊂⊂∀h4H"SH4(⊂⊃λU TJDh"SJB⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊗λλ4λ⊂∞&C__
$¬()P*F@2H fx6≠
w84[Lr9→.εx9≥∞2:~ ↔ ⊂≡-w(⊂~ ↔02H
w⊂2→.&(2λ ↔⊂2H Vp1[
w_2Y∧π84]
α:~
↔_⊂≤ ⊗_5Z-f8⊂≤mFH8∞J5 SET_)K'β⊗Mg∪H∀≠-⊗_9≠lfH1Z RH⊂⊃J$H"Q Tλ'λλU ⊂⊂)Bp⊗λ U(&∃ ∀ $S(Tp)R)tp S∧∧λ"⊃ ∃ $UHR)T DH'⊃$∧λ(∀
$x, H"p⊂⊂Iu8&P)dh'PI∀`"HλU@(λ∧b(∀It ⊂∀hU⊂+λ ∀p!T∧∧x⊂⊂Iu@⊂∞&β"⊂)D` TeB*⊗∧α≠M&#⊂_SIu "NDα&R(5⊂'QI∀_$⊃$∧H)Hλe⊂"Q$∧x#λλ4@ THt(wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x∧]`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∃≥`X[{ifPx≥`X[{iN0x≥`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Pxα=`X[{hm0xε]`X[{hU⊂xα⎇`X[{h<px∧=`X[{h$Px≥`X[{h 0xλ⎇`X[{gt⊂x≥`X[{g[p w↓;80u`∩@X π)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧('⊃i∀p"Q*$H'⊃eU )⊂)e_(∪j% U ∀x'λ DH!∀H∃⊂,H∧α#∀Ith≥λ DH!∀H∃⊂,Hλ∀p"λ
¬(!∪ ∀_ U ∀x'∀d∧_'S)TH*∃λT(⊂λ∧α⊂λ∧α⊂⊂ith(∃*D()λ
4_$Q)d_"HλD((⊂*% &Q)e ⊂λ∧α⊂λ∧α⊂∀jDλ'⊃Iu⊂"λ
Tp$UHU⊂)R*EH⊂λ∧α⊂λ∧α⊂∀jDλ'⊃Iu⊂" ∧∧_ Hπ∪ →LεR*Th∃ 4→$ε07[
Fx;Z-f8⊂≤LW7\NG_⊂≥
ελ:λ∂⊗x:H
ελ;→$εx9→ W⊂2Y∧ελ9→$ε(7_mFx9Y,B;Z.F@⊂≥
εH9H∞ελ1Zm⊗p3H∞6`4\π%+⊃eSλ≠
VH1\Mv04Xmε(∀H E(!Ri∧λ&H∧b(∪iDλ%K∧∧λ"⊂$∧(,⊂hU*∩)tp)TjDλ' (5_⊗Nεαh≠N&α@6Z,7⊂7YM⊗_4→%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THU_*⊂)bh!TeS@_ &sH_J
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&"@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*u_*⊂)bh!TeS@_ &sH~
VH1\Mv04Xmε(∀H
Dλ)∩H∀p⊗λ
$(!Q)e ⊂⊃λU0"S u↔λ ∀p⊂⊂ith(∪λU@$U ∩'QD∧_'S($H'⊂*Dx)∩(∀`⊂ Ebp)Uλ∀p⊗Pj2h≤ ¬S8≤M%εh4Xn&x3~,6@2J$∧X'∃*D@⊗λ
D@"H D(*∃λU⊂⊂∀h∀H&K&3_~J
VH1\Mv04Xmε(∀H
4λ&U(T`⊗λλU_)Q)e $P)B"TjDλ' (5_⊗Nεαh≠N&r@6Z,7⊂7YM⊗_4→%∩#P*$_$P%Th'S ∀p H∧b+R(T "TI∧x&⊃¬B)⊃(∀ ⊗Sid`,H
E⊂ SJ4λ!U ∀x'∀ebp↔∀jDλ' (5_⊗Nεαh≠N'α@6Z,7⊂7YM⊗_4→%∩#∪ uH"λ∧b*S Dh SEB!SiU$Sλ∃ $Sib'QD¬⊂"QjT` TD∧(,∀
$()Ti∀x'∀ebp↔∀jDλ' (5_⊗Nεαh≠N'∩@6Z,7⊂7YM⊗_4→%∩#∀I∀("∪(∀p⊂⊃*B S¬b`⊂∪*T`*∩(DH&Q)e_$Sidλ&λλ∀ "∩*DH+⊃$¬_(∪ ∀p"Hλ∃(∀Iu@↔∀jDλ' (5_⊗Nεαh≤ ε2@6Z,7⊂7YM⊗_4→%∩+⊂)b+V)2`⊂∪λ∀p#U(∀8"Hλdx)λ
EH(⊃*4(*∃ ∀p#Hλu⊂ T ∧H!Tdα@*∩λU_$Te∀λ$S%S_→MEεh4Xn&x3~,6@2J$∧h↔λλ%⊂'Si5_⊗λλD(*⊃*$h$SI∀p#Hλ4x)∀HT_*∪HU_)Hλ%H⊂∃λU_*∩)d8⊂
D@"Ti∃_∀Q)d8$SHT()∩)d8⊗U
$λ'∀j∧x)∃λ∃ $Sib&∩(%⊂ TK∩⊂λ∧α⊂λ∧α⊂λfC@_Qi∃ $⊃$¬('∩*d()∀i∃ ,H t0⊂∪)∀_$∩(tλ'λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂⊂*E '∞D¬_"TI∀λ&∀d¬_*TλU⊂+∩*4x)λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧β__LD¬('⊃λU⊂#TH∀ *P*D(⊂∪ ∀⊂)⊂*%H⊂⊂ID #KDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂⊂)dp⊂⊂*$⊂'TEB&R(4@↔λ∧β ≤ &βH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x
⎇`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ]`X[{ifPx∂]`X[{iN0x⊂]`X[{i6⊂x∩]`X[{i≥px∃=`X[{i¬Px ]`X[{hm0x ⎇`X[{hU⊂x∀≥`X[{h<px∀≥`X[{h$Px∃≥`X[{h 0x∪]`X[{gt⊂x∩]`X[{g[px≥`X[{gCPx≥`X[{g+0x≥`X[{g∪⊂x≥`X[{fzpx ]`X[{fbPx ]`X[{fJ0x ]`X[{f2⊂x ]`X[{f→px ]`X[{f↓Px≥`X[{ei0xλ⎇`X[{eQ⊂ αc@↓;80u`∩@X `)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬)∪hbp⊂∀λU "TD¬8↔λ d("S ∩⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥⊂)∀h⊗Lf30∀≠-⊗_9≠lfH1Z RH⊂∪%b!∀Itx%TeB"⊃*D()∪)∀p$SHr!Sj%⊂"PjDp"Tj2!⊗$¬ "TjDH'⊃dα@*∩λU_$Te∃)∪hbp⊂∀λU "TD¬8↔λ d("S ∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_≠
F∧0)⊃λU* D∧x#λ
5H)UλTh U ∀_)H∧b"Pit`'Qk∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧β ~∞∧¬_'∪jr⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∃ ∧(⊂∃)dH+⊃*%_$U ∩'QD∧X SJ4λ)H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧` Uj$('⊂hR`⊂∩h∀p)P*2⊂
Fc~
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∪Iu "NDα&R(5⊂'QI∀_$⊃$∧H)Hλe⊂"Q$∧x#λλ4@ THt(wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xπ=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∩]`X[{ifPx≥`X[{iN0x≥`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Px ]`X[{hm0x ]`X[{hU⊂x ]`X[{h<px ]`X[{h$Px ]`X[{h 0x≥`X[{gt⊂xλ⎇`X[{g[p ↓&↓;80u`∩@X π)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬⊂↔∩¬b(⊃*%⊂'U
B⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥∀
d8⊗L&b@6Z,7⊂7YM⊗_4→%∩&∃(4X$⊂)R∪λ
∧x&⊂)2`⊂⊂(Dλ⊂⊃+∧_"T
DH'SJ5_*⊂)bh!TeS@_ &sH_J
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&"@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*u_*⊂)bh!TeS@_ &sH~J
VH1\Mv04Xmε(∀H 4p*U α`⊂∃ ∧(⊂∪λU *⊃*")TEd@↔λ
∧()∀Iu *λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λi∃⊂"R
$ "T
Bp⊂∪hb!SiU*UλU⊂⊂∀h4H"SH4(⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀*T("SDu_⊂∃)dH+⊃*%_$U ∩'QD∧⊂"Sλdλ)U∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧⊂"Sλdλ)U∧∧⊂*
dβλ'∪Dα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∪Iu⊂*∩λU⊂'λ ∃⊂"Sλ∀p"λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x¬=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ]`X[{ifPx⊂]`X[{iN0x∩]`X[{i6⊂x ]`X[{i≥px≥`X[{i¬Px≥`X[{hm0x≥`X[{hU⊂x≥`X[{h<px ]`X[{h$Px ]`X[{h 0x ]`X[{gt⊂x ]`X[{g[px ]`X[{gCPx≥`X[{g+0xλ⎇`X[{g∪⊂ ↓L@↓;80u`∩@X π`)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬)∪hbp⊂∀It⊂"TJB( D∧0*U
$(&∪λR⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥∀jDλ' (5_⊗Nεαh≠N&α@6Z,7⊂7YM⊗_4→%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THU_*⊂)bh!TeS@_ &sH_J
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&"@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*u_*⊂)bh!TeS@_ &sH~J
VH1\Mv04Xmε(∀H 4p*U α`⊂∃ ∧(⊂∪λU *⊃*")P)∀h⊗Lf3(∀≠-⊗_9≠lfH1Z RH⊂∀h∀h*Q)B`⊂⊃*5_"SJDH S∧∧( R)Rh→Lfb@6Z,7⊂7YM⊗_4→%∩&KD∧⊂)∪itX)K∧∧ "UλU⊂&R)dH'⊃d∧_'TJ$(!U d()Td∧⊂,H
D()U ∀p#H¬¬ $⊃*4H)J*¬⊂'QEb)∪h$()∃∧¬↔λλe(*∀HT`&⊃$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧30_N u"⊃*¬ ↔λ t0⊂⊃hTp"U ∀_)H∧b"⊃*d(&∪j∧h"SJB⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
Tp$UHU⊂)R*EH⊂∪hb$S DH'∪i∃_⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α*TH$λ'⊂%B$S DH'∪i∃_⊂λεcλ≤ ε∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ dx*⊃'"⊂∪)∀_)∪hdH!RλR$Td∧0)⊃(R'QD∧_$⊂*$8"@wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xλ=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∂]`X[{ifPx⊂]`X[{iN0x∩]`X[{i6⊂x ]`X[{i≥px ⎇`X[{i¬Px∩]`X[{hm0x≥`X[{hU⊂x≥`X[{h<px≥`X[{h$Px≥`X[{h 0x ]`X[{gt⊂x ]`X[{g[px ]`X[{gCPx ]`X[{g+0x≥`X[{g∪⊂xλ⎇`X[{fzpx≥`X[{fbP ↓b ↓;80u`∩@X λ )U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧` TJ%H⊂∃H∀p⊂∀i∀_%SλR⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥∀jDλ' (5_⊗Nεαh≠N&α@6Z,7⊂7YM⊗_4→%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THT` TJ%H⊂∃H∀p⊂∀i∀_%SλR⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_≠NεuH'⊂ith(∃*D()λ
4_$Q)d_"HλD((∃¬b⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬('∩*d()∀i∃ ,H t0⊂∃λU@ Tdα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂⊂*U_*∩)b`⊂∃λU@ Tdα≠Nεsλ→λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xε=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∂]`X[{ifPx≥`X[{iN0x≥`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Px ]`X[{hm0x ]`X[{hU⊂x ]`X[{h<px ]`X[{h$Px≥`X[{h 0xλ⎇`X[{gt⊂x≥`X[{g[p ↓∃@↓;80u`∩@X π)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬⊂ S)tp⊂⊂%b&P*Dλ⊂∃ t`"Q r⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥⊂)∀h⊗Lf30∀≠-⊗_9≠lfH1Z RH⊂∪%b!∀Itx%TeB"⊃*D()∪)∀p$SHr!Sj%⊂"PjDp"Tj2!⊗$¬ "TjDH'⊃dα@*∩λU_$Te∃_*⊂)bh!TeS@_ &sH_
VH1\Mv04Xmε(∀H
tH"QλU⊂$∪iD ⊗λλDλ*⊂($λ)Q*2$SD∧@"P)E $⊂h∃⊂"TjDλ' (5_⊗Nεαh≠N&r@6Z,7⊂7YM⊗_4→%∩#P*$_$P%Th'S ∀p H∧b+R(T "TI∧x&⊃¬B)⊃(∀ ⊗Sid`,H
E⊂ SJ4λ!U ∀x'∀ebp↔∀H∀h'SD∧λ↔λ Tλ*⊂$¬ 'SλT 'H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λfc0~P(∀P THDH'⊃$¬ "TJ$λ!Q$¬8⊗Lfα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∩H∃⊂"∩)d(⊂⊃
$H+⊃$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧h Rλ∃ *⊂)b`⊂∩j2⊂
Fc(_ Dα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∪Iu "NDα&R(5⊂'QI∀_$⊃$∧H)Hλe⊂"Q$∧x#λλ4@ THt(wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xπ=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∩]`X[{ifPx∂]`X[{iN0x∀≥`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Px≥`X[{hm0x≥`X[{hU⊂x ]`X[{h<px ]`X[{h$Px ]`X[{h 0x ]`X[{gt⊂x≥`X[{g[pxλ⎇`X[{gCPx≥`X[{g+0 ↓=↓;80u`∩@X π@)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧P'SD∧⊂"SJD`"V$α⊂⊃J$x&ND∧`$PJ$λ)⊗$∧λ'⊃∧¬*PIDH!P*DH'SJ2!SiTh$U
D("H∧α⊂λ∧α⊂λλ4x&T
U "TD¬_!R(Tp!Q$∧ "Tλ∃⊂*∪(Tp*λ∧α⊂λ∧α⊂λ
5 SHdx)⊃∧¬('∩*d()∀i∃ ,H∧α⊂λ∧α⊂λ
5 SHdx)⊃¬B!P$βH~ fβ(⊂∃*4λ*~ R3≠mF`7]m⊗p3H∞&(8≠n' 9H∞F@0]∧πH7]$ε@0]LR7\LF(9→,B0\LR2[L6`7\lV ⊂≥m↔ 4λ∞F@4\dπ0Xm6H7→dπ_6~.βP(∃Hrh_MEεh4Xn&x3~,6@2J$∧`*Pi4@ S$α0⊂∀ t` ReB Qλ∩"Vλ4((∃ ∀x'∀j5 SET_)K'β⊗Mg∪∀≠-⊗_9≠lfH1Z RH⊂∃i∀("⊃*$@'SλB`⊂⊃λ∃ PH∃_"Td∧H'λ ∧( S
D@!P*$()Uλ∀p⊗Pj2h≤ ¬S8≤L%εh4Xn&x3~,6@2J$¬8$Sλ4x,λλU ⊂⊂)Bp⊗λ Tλ$SJ4λ$S∧∧` SHu( QhR&P)e( S
5 SET_)K'β⊗Mg∪⊂∀≠-⊗_9≠lfH1Z RH⊂∃i∀`!Skα"U∧∧λ& EB&P)∀p)P)∀`⊂∩)U&⊃)T('∃λ∃ $Sib'UHU⊂+∩(U8)Uλ∀p⊗Pj2h≤ ¬S8≤M¬εh4Xn&x3~,6@2J$¬ TI$λ' ∧¬⊂"PhTp*λλD(+⊃)Dx( D∧H'λλ4x&T D(,∩*EH⊂∪hb!SiT⊂$SH∃ 'TI∀λ&λ¬bp↔∀jDλ' (5_⊗Nεαh≠N&R@6Z,7⊂7YM⊗_4→%∩%SJU $ ∧¬ $⊃$∧`"U
D()λ
5_*⊂)bh!TeS@_ &sH≤
VH1\Mv04Xmε(∀Hλd`'V(B∪λ
T`&∪(∀p⊗λλ4x&T ∀` U ∀x'λ t0⊂∀HT8*Sλ∃⊂⊂⊃+¬)⊃*5_$Sie_↔ Ee_*⊂)bh!TeS@_ &sH≤J
VH1\Mv04Xmε(∀Hλe⊂$Q(Dh SD∧(*λλ∀`↔ ∧∧h*S
DH"∩)T('∀i∀x'⊂)B QλDH*∩*d(⊂∀j∧`$SHR T
¬⊂'V¬dλ$S%S_→MEεh4Xn&x3~,6@2J$∧h↔λλ%⊂'Si5_⊗λλD(*⊃*$h$SI∀p#Hλ4x)∀HT_*∪HU_)Hλ%H⊂∃λU_*∩)d8⊂
D@"Ti∃_∀RItp⊂⊂HTp*∪λUH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λf∪(→∪JD_'S*¬(*⊃*")Pi∀('⊂hR"⊃*¬ ↔λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂⊂h∃⊂'⊃(tH"K)T(&∪ tp⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬_!RλTp&⊃+∩(⊂*$X⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀ ∃ *∀h%()⊃iα`⊂∀λ∩⊂λε∪(→ &2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x¬≥`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ]`X[{ifPx∂]`X[{iN0x⊂]`X[{i6⊂x∩]`X[{i≥px∃=`X[{i¬Px ]`X[{hm0x∀≥`X[{hU⊂x∃≥`X[{h<px∩]`X[{h$Px≥`X[{h 0x≥`X[{gt⊂x≥`X[{g[px≥`X[{gCPx ]`X[{g+0x ]`X[{g∪⊂x ]`X[{fzpx ]`X[{fbPx ]`X[{fJ0x≥`X[{f2⊂xλ⎇`X[{f→p α,@↓;80u`∩@X )U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧`'THU *⊂$∧h"TJ4@'SDα⊂⊃J$x&ND∧`$PJ$λ)⊗$∧λ'⊃∧¬*PIDH!P*DH'SJ2!SiTh$U
D("H∧α⊂λ∧α⊂λλ4x&T
U "TD¬_!R(Tp!Q$∧ "Tλ∃⊂*∪(Tp*λ∧α⊂λ∧α⊂λ
5 SHdx)⊃∧¬('∩*d()∀i∃ ,H∧α⊂λ∧α⊂λ
5 SHdx)⊃¬B!P$βH~ fβ(⊂∃*4λ*~ R3≠mF`7]m⊗p3H∞&(8≠n' 9H∞F@0]∧πH7]$ε@0]LR7\LF(9→,B0\LR2[L6`7\lV ⊂≥m↔ 4λ∞F@4\dπ0Xm6H7→dπ_6~.βP)Uλ∀p⊗Pj2h≤ ¬S8≤L%εh4Xn&x3~,6@2J$¬8$Sλ4x,λλU ⊂⊂)Bp⊗λ Tλ$SJ4λ$S∧∧` SHu( QhR&P)e( S
5 SET_)K'β⊗Mg∪⊂∀≠-⊗_9≠lfH1Z RH⊂∃i∀`!Skα"U∧∧λ& EB&P)∀p)P)∀`⊂∩)U&⊃)T('∃λ∃ $Sib'UHU⊂+∩(U8)Uλ∀p⊗Pj2h≤ ¬S8≤M¬εh4Xn&x3~,6@2J$¬ TI$λ' ∧¬⊂"PhTp*λλD(+⊃)Dx( D∧H'λλ4x&T D(,∩*EH⊂∪hb!SiT⊂$SH∃ 'TI∀λ&λ¬bp↔∀jDλ' (5_⊗Nεαh≠N&R@6Z,7⊂7YM⊗_4→%∩%SJU $ ∧¬ $⊃$∧`"U
D()λ
5_*⊂)bh!TeS@_ &sH≠J
VH1\Mv04Xmε(∀Hλtλ)⊂i∀λ⊗S)t`$SH∩∪λ
tH"QλU⊂$∪iD ⊗λ
$( Q¬Tx'∪ ∩*∀H∀p)P(5 $Sie_↔ Ee_*⊂)bh!TeS@_ 'β→J
VH1\Mv04Xmε(∀H
dλ'λ
uH%K∧∧` SHu( QhR#∪j"*⊗*∧()Q*E $SHr#TH∃$∩(5_⊂
D@"Ti∃_∀P)∀h⊗Lf30∀≠-⊗_9≠lfH1Z RH⊂∪%b!∀Itx%TeB"⊃*D()∪)∀p$SHr!Sj%⊂"PjDp"Tj2!⊗$¬ "TjDH'⊃dα@*∩λU_$Te∀`'THU *⊂$∧h"TJ4@'SIDH!∀H∃⊂,Qλ∃ Hλt('⊃*$λ&λλ4x)∀εc⊂⊂∃¬e8↔λλ∀`"Vλ∀p"⊃*""∀J$()Q(∃⊂!R∧¬ )∩(∀p#SλR(⊂*$X⊗λ d_⊂λε#8≠Lπ∀p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xε≥`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px⊂]`X[{ifPx∩]`X[{iN0x∃=`X[{i6⊂x ]`X[{i≥px∀≥`X[{i¬Px∪]`X[{hm0x∩]`X[{hU⊂x≥`X[{h<px≥`X[{h$Px≥`X[{h 0x≥`X[{gt⊂xβ⎇`X[{g[px↓⎇`X[{gCPx∧=`X[{g+0x¬≥`X[{g∪⊂xλ=`X[{fzpx≥`X[{fbPxλ⎇`X[{fJ0 ↓h@↓;80u`∩@X λ@)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬8$S DH S$∧⊂↔λ 4($∪¬B"∩*$(!U u⊂⊂λ∧∧0)∪iSP⊂∪ ∀⊂)⊂*%H⊂⊂)d ⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x&S)∃ *⊃(R⊂λ∧α⊂λ∧α!SiU*UλU⊂⊂∀h4H"SH4(⊂⊃λU TJDh"SJB⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊗λλ4λ⊂∞&C__
$¬()P*F@2H fx6≠
w84[Lr9→.εx9≥∞2:~ ↔ ⊂≡-w(⊂~ ↔02H
w⊂2→.&(2λ ↔⊂2H Vp1[
w_2Y∧π84]
α:~
↔_⊂≤ ⊗_5Z-f8⊂≤mFH8∞J5 SET_)K'β⊗Mg∪(∀≠-⊗_9≠lfH1Z RH⊂∩ie(*∩¬B*∩λR&⊃*E "TD¬_+R)D`$P)R! D∧X"R B`⊂⊃ ∃⊂"PjDx)λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊃N&β&S t0#∩(4(⊂∪hb Ph∀ "S)∀_⊂⊂ith(∃*DH'⊃dα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α~MF#@⊂∪*4λ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
Tp$UHU⊂)R*EH⊂∪hb!P)DH#∪j$p$P$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α&∪j2 SHt(&⊃*2`⊂⊂h∩⊂∞&β→
∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ dx*⊃'"⊂∪)∀_)∪hdH!RλR$Td∧0)⊃(R'QD∧_$⊂*$8"@wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xλ]`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ]`X[{ifPx≥`X[{iN0x≥`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Px ]`X[{hm0x ]`X[{hU⊂x ]`X[{h<px ]`X[{h$Px ]`X[{h 0x≥`X[{gt⊂xλ⎇`X[{g[p ↓ ↓;80u`∩@X π)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧ ) D∧λ⊂ I2p⊂∀I∀8&⊃*"⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥∀jDλ' (5_⊗Nεαh≠N'∩@6Z,7⊂7YM⊗_4→%∩#∀I∀("∪(∀p⊂⊃*B S¬b`⊂∪*T`*∩(DH&Q)e_$Sidλ&λλ∀ "∩*DH+⊃$¬_(∪ ∀p"Hλ∃(∀Iu@↔⊃
"p⊂⊂$αp%KD¬⊂$QiD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λfc(~⊂)4_'S*¬(*⊃*")Pi∀('⊂hR"⊃*¬ ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∃)dH+⊃*%_$U ∩'QD∧h$Tj4x*TI∩ U∧¬⊂'S Dλ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬⊂'S Dλ⊗λ Tx↔λ∧β0~Mεβλ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∪Iu "NDα&R(5⊂'QI∀_$⊃$∧H)Hλe⊂"Q$∧x#λλ4@ THt(wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xε=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∃≥`X[{ifPx≥`X[{iN0x≥`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Px ]`X[{hm0x ]`X[{hU⊂x ]`X[{h<px ]`X[{h$Px≥`X[{h 0xλ⎇`X[{gt⊂x≥`X[{g[p ↓≠↓;80u`∩@X π)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬_*⊃*d('λ Bp⊂∃λ∀p$S)u 'H∧α#∀Ith≥λ DH!∀H∃⊂,Hλ∀p"λ
¬(!∪ ∀_ U ∀x'∀d∧_'S)TH*∃λT(⊂λ∧α⊂λ∧α⊂⊂ith(∃*D()λ
4_$Q)d_"HλD((⊂*% &Q)e ⊂λ∧α⊂λ∧α⊂∀jDλ'⊃Iu⊂"λ
Tp$UHU⊂)R*EH⊂λ∧α⊂λ∧α⊂∀jDλ'⊃Iu⊂" ∧∧_ Hπ∪ →LεR*Th∃ 4→$ε07[
Fx;Z-f8⊂≤LW7\NG_⊂≥
ελ:λ∂⊗x:H
ελ;→$εx9→ W⊂2Y∧ελ9→$ε(7_mFx9Y,B;Z.F@⊂≥
εH9H∞ελ1Zm⊗p3H∞6`4\π%+⊃eSλ≠
VH1\Mv04Xmε(∀H E(!Ri∧λ&H∧b(∪iDλ%K∧∧λ"⊂$∧(,⊂hU*∩)tp)TjDλ' (5_⊗Nεαh≠N&α@6Z,7⊂7YM⊗_4→%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THU_*⊂)bh!TeS@_ &sH_J
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&"@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*u_*⊂)bh!TeS@_ &sH~
VH1\Mv04Xmε(∀H
Dλ)∩H∀p⊗λ
$(!Q)e ⊂⊃λU0"S u↔λ ∀p⊂⊂ith(∪λU@$U ∩'QD∧_'S($H'⊂*Dx)∩(∀`⊂ Ebp)Uλ∀p⊗Pj2h≤ ¬S8≤M%εh4Xn&x3~,6@2J$∧X'∃*D@⊗λ
D@"H D(*∃λU⊂⊂∀h∀H&K&3_~J
VH1\Mv04Xmε(∀H
4λ&U(T`⊗λλU_)Q)e $P)B"TjDλ' (5_⊗Nεαh≠N&r@6Z,7⊂7YM⊗_4→%∩#P*$_$P%Th'S ∀p H∧b+R(T "TI∧x&⊃¬B)⊃(∀ ⊗Sid`,H
E⊂ SJ4λ!U ∀x'∀ebp↔∀jDλ' (5_⊗Nεαh≠N'α@6Z,7⊂7YM⊗_4→%∩#∪ uH"λ∧b*S Dh SEB!SiU$Sλ∃ $Sib'QD¬⊂"QjT` TD∧(,∀
$()Ti∀x'∀ebp↔∀jDλ' (5_⊗Nεαh≠N'∩@6Z,7⊂7YM⊗_4→%∩#∀I∀("∪(∀p⊂⊃*B S¬b`⊂∪*T`*∩(DH&Q)e_$Sidλ&λλ∀ "∩*DH+⊃$¬_(∪ ∀p"Hλ∃(∀Iu@↔∀jDλ' (5_⊗Nεαh≤ ε2@6Z,7⊂7YM⊗_4→%∩+⊂)b+V)2`⊂∪λ∀p#U(∀8"Hλdx)λ
EH(⊃*4(*∃ ∀p#Hλu⊂ T ∧H!Tdα@*∩λU_$Te∀λ$S%S_→MEεh4Xn&x3~,6@2J$∧h↔λλ%⊂'Si5_⊗λλD(*⊃*$h$SI∀p#Hλ4x)∀HT_*∪HU_)Hλ%H⊂∃λU_*∩)d8⊂
D@"Ti∃_∀TjD(+⊃)b& D¬ SI∀h'U r⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λg∪@_SH∀ "T
Bp⊂∪hb!TeB#∀ES_~H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∃)dH+ D∧x#λ
tλ)R ∀p#U tp⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬_"P*E &⊃%B+P$α≤Nε∪H~H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∪Iu "NDα&R(5⊂'QI∀_$⊃$∧H)Hλe⊂"Q$∧x#λλ4@ THt(wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xε⎇`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ]`X[{ifPx∂]`X[{iN0x⊂]`X[{i6⊂x∩]`X[{i≥px∃=`X[{i¬Px ]`X[{hm0x ⎇`X[{hU⊂x∀≥`X[{h<px∀≥`X[{h$Px∃≥`X[{h 0x∪]`X[{gt⊂x∩]`X[{g[px≥`X[{gCPx≥`X[{g+0x≥`X[{g∪⊂x≥`X[{fzpx ]`X[{fbPx ]`X[{fJ0x ]`X[{f2⊂x ]`X[{f→px≥`X[{f↓Pxλ⎇`X[{ei0x≥`X[{eQ⊂ αS↓;80u`∩@X `)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬)∪hbp⊂⊃iD('∪D∧h SH∀_$⊃*"⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.24[Nfx4XlSP)Uλ∀p⊗Pj2h≤ ¬S@_ %ε@0\LF_7\∂∩H⊂⊃)Bh&P*5⊂$K∧∧ "Ti∀8'λ
U_"H∧b$SJD(#TH∃ $Sib'QD∧ Uλ∩&ShD(&∀dα@*∩λU_$Te∩⊂ ∧β(↔ ε¬_*⊂)bh!TeS@_ &sH~
ελ9→ 6x8≡%∩*⊂*$P SEB)⊃(4('∃∧∧ "UHT`'T¬b$SD∧_'S*∧`"V ∃ ,H t0⊂⊂ith!∩)dλ*∪j$H S∧αp↔ J¬0#K&∪8∀~ ↔⊂2_mw<J$¬'Sλ∀X⊗λ
D@"Sj%H⊂∪hb!SiU$SλU⊂⊂∀j∧(!R(dH!P*DH'SDα0⊂∃HU⊂$QI∀_ U ∀x'묬 $⊃*4H)J$α∩λεRp≠M*F@2H 6x9]∧εx3λ∞F@2\lR9→.εx9≥∞2`⊂≥
v82]
ε(9λ∞vH:~∧π 4→$π9→.fH7].21_-Fλ7_lR4[DπH7].&λ1Xmw(7≥¬B1[mV(9H∞Fx⊂ ∧βλ~ F∪↔λ
ε`2X.6(⊂≠,⊗X2H∂⊗x:\Dε_4→,6X⊂≤ ↔H0XMF(⊗λ
⊗p⊂⊂-V(9~,6λ7λ Fx6≠ ↔⊂9K∧π 7Xλ5_"λ
7 0[Lfx9→∧¬(7~.f(9≤m↔ <Idελ7→∧π⊂2]∞W⊂7λ
↔ ⊂≥m↔ 4λ∞F@2H
⊗p;≠m⊗_2H ↔ ⊂≥
ε(⊂_Mw :≠mR7YDπ 4~.26Y-Vx↔ %Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊂∩)e0'R(4(⊂ %Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α$SJdx$PhR'∪g"!RJ2h"⊃(3__N'β"→.ελ9≥
V(7≥∧εx3λλ6x6\∞W 2\D¬_1Z,Vp1Y*π(1≠
⊗_0]
⊗x7≤d∧x3→M⊗_2TnFλ7→Mw⊂2 ∧∧_0[
⊗07\MfH0Hπ∪ →LεR⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧ UλSP⊂ d∧ "Pdβλ≤Nε¬_'SλB*∪g"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧_*TjDx&Q*"'∪ecP⊂
Fβ0#P$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
αp'KD∧p'KG"(∀It0↔λλt`"SIb&P)dλ!RλU⊂⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊃MFβ0#P*Tp$UHU⊂)R*EH⊂∪hb$S DH'∪i∃_⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_L&β⊂⊂∀hTx⊂⊂ID #KDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλ4@$Ph∀8'Hλ4H)⊂iD(⊂⊂h∀h(∃*2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α!R ∀_ Qir`⊂∩)D`↔λ∧β0_
Gβ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλF(9Xn&H8≥
⊗x7λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬9~,6(⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh)Uλ∀p⊗Pj2h≤ ¬S@_ %ε@0\LF_7\∂∩H⊂⊃)Bh&P*5⊂$K∧∧ "Ti∀8'λ
U_"H∧b$SJD(#TH∃ $Sib'QD∧ Uλ∩&ShD(&∀dα ⊂
%c_∀jDλ' (5_⊗Nεαh≠N&B@4_.& 1[nπH∀H
Dλ)∩H∀p⊗λ
$(!Q)e ⊂⊃λU0"S u↔λ ∀p⊂⊂ith(∪λU@$U ∩'QD∧_'S($H'⊂*Dx)∩(∀`⊂ Ebp(∃Hrh_Meε@0\LF_7\∂∩H⊂∀ t` ReB*∩λTx)⊗$∧x#λλ4x&T ∀`"TD¬_(⊃(4H#∩(4λ*∩)tp⊂ D¬0"TI∀0$Ph∃ $Sib∀∃∧α ⊂
%c8~H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀nV⊂⊂∃
w 0[∧α⊂λ∧α∩λε∪↔
fR*KJ2p⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α(≤LW04[nW_6≡$∧ :Y$α ⊂λε2p→M$¬(↔∀eb⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬ 0↑ W_⊂λ∧α⊂λ∧α⊂λ∧α⊂∪Edλ↔λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊗K%Rh⊗K%Rh⊗K%U&⊃(∃_"H
$(&R*B*∩ ∃_⊂⊂)Tx*SJB$SD¬(↔∀ed 'S Dλ)∀dαh⊗ODα⊂λ∧α⊂λ∧¬ 7] ⊗`⊂⊃∞V(⊂λ∧α⊂λ∧B_M¬cλ_λ
Rp)KDαh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%T 4\l6`0Z-V(9∞D¬ 4→$∧_7[.π(:→.")Xm⊗(7_lR"→.ελ9≥
V(7≥∧εx3λ
7 0[Lfx9→∧¬(7~.f(9≤m↔ <H∞vH6≠∧εp7] W@1Z ⊗p3Y$εx9λ
↔_9],R1\LV 4]∧ε07\Dπ⊂2]∞W⊂7→,B8≥,&`4Xl↔ 4[mg_⊗λ ⊗p2λ
↔_⊂≠Mw ⊂≤LW_8≠mg_4XMF(⊂→Mw⊂2_-Vλ3Y.24[L7(9≤LV ⊂~-b9Z
↔6Y-g ⊂≠lb8≥,&`4Xl↔ 4[mg_↔ %Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗T
F(0\lR6X-6(⊂_mε(1Zn28_/⊗λ1≠ R:≠dε!ThB)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩8⊂_-f ⊂→Mw⊂;X.& ⊂≤ ↔H6Y-g ∀_-Fx7→dπ84]
α:~
↔_⊂~-g07Z,6(∀H∞Fx≥λ∧α⊂λ
5 SHdx)⊃∧¬('∩*d()∀i∃ ,H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧ "Tλ∃⊂*∪(Tp*λ t0⊂⊂ith(∃*D()λ
4_$Q)d_"H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧λ*∃λTp*∩)tp⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x'THDH'⊂*Dx)λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H∧¬(↔∀edλ↔wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xπ=`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∩⎇`X[{j↔⊂x≥`X[{i}px⊗⎇`X[{ifPx∀⎇`X[{iN0x⊗≥`X[{i6⊂x≥`X[{i≥px⊃=`X[{i¬Px∀]`X[{hm0x∩]`X[{hU⊂xα]`X[{h<px≥`X[{h$Px∀⎇`X[{h 0x≥`X[{gt⊂x∩≥`X[{g[pxπ]`X[{gCPx∧⎇`X[{g+0xε]`X[{g∪⊂x⊂≥`X[{fzpx⊂⎇`X[{fbPx∞]`X[{fJ0x≥`X[{f2⊂x ]`X[{f→px ]`X[{f↓Px ]`X[{ei0x ]`X[{eQ⊂x ]`X[{e8px≥`X[{e Px≥`X[{eλ0x∪]`X[{dp⊂x∀≥`X[{dWpx∀=`X[{d?Px∀⎇`X[{d'0x∀=`X[{d∂⊂x≥`X[{cvpx∪⎇`X[{c↑Px∪⎇`X[{cF0x∩]`X[{c.⊂x∪]`X[{c∃px∀≥`X[{b⎇Px∀≥`X[{be0x∩⎇`X[{bM⊂x∪]`X[{b4px =`X[{b≤Px∀≥`X[{b∧0x∩⎇`X[{al⊂x
=`X[{aSpx⊂≥`X[{a;Px⊃≥`X[{a#0x∂≥`X[{a ⊂ ¬↑ ↓;80u`∩@X ∂`⊗H¬R⊗H¬R$U∧∧H)H ∀h(∪j% SJB*∩λ∃ ⊂∃ ∧H)H ∀p+∪i∀_"Hλ$(⊂∀HU *TId("λ
tH*∩∧¬H'U*"(⊂+∀h"SJB⊗H¬R⊗H¬Pwαv}x1πN∂0x≥`X[{l Px∪⎇`X[{kq0 ∪`↓;80u`∩@X ↓@)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧`$PJ$λ)∩(∀p⊂λ∧∧0)∪iSP⊂∪ ∀⊂)⊂*%H⊂⊂)d ⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x&S)∃ *⊃(R⊂λ∧α⊂λ∧α!SiU*UλU⊂⊂∀h4H"SH4(⊂⊃λU TJDh"SJB⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊗λλ4λ⊂∞&C__
$¬()P*F@2H fx6≠
w84[Lr9→.εx9≥∞2:~ ↔ ⊂≡-w(⊂~ ↔02H
w⊂2→.&(2λ ↔⊂2H Vp1[
w_2Y∧π84]
α:~
↔_⊂≤ ⊗_5Z-f8⊂≤mFH8∞J5 SET_)K'β⊗Mg∪ ∀~ ↔⊂2_mw<J$¬ TI$λ' ∧¬⊂"PhTp*λλD(+⊃)Dx( D∧H'λλ4x&T D(,∩*EH⊂∪hb!SiT⊂$SH∃ 'TI∀λ&λ¬bp↔∀jDλ' (5_⊗Nεαh≠N&B@6Z,7⊂7YM⊗_4→%∩*⊂*$P SEB)⊃(4('∃∧∧ "UHT`'T¬b$SD∧_'S*∧`"V ∃ ,H t0⊂⊂ith!∩)dλ*∪j$H S∧αp↔ J5 SET_)K'β⊗Mg∪(∀~ ↔⊂2_mw<J$∧X'∃*D@⊗λ
D@"H D(*∃λU⊂⊂∀j5 SET_)K'β⊗Mg∪(∀≠-⊗_9≠lfH1Z RH⊂∩ie(*∩¬B*∩λR&⊃*E "TD¬_)Uλ∀p⊗Pj2h≤ ¬S8≤N%εh4Xn&x3~,6@2J$∧0)∩(T &P)b"U∧∧λ& EB&U)E $Q ∀h"SJ4H'SH∀`⊂⊂(D $U ∃0"H
5&∩)d(⊂⊂*¬)∪kαp)Uλ∀p⊗Pj2h≤ ¬S@_ eε@0\LF_7\∂∩H⊂∃H∀p⊂∃k∀X⊗λ Dλ'⊃jTλ#Q$∧0'TD¬ ,TλU_"U
DH'⊃d∧8)⊂*∧@$Pj2∀∃ ∧()R*2H)Uλ∀p⊗Pj2h≤ ¬S@_ eεh4Xn&x3~,6@2J$¬0 SD¬8,ReB&⊂)d8*P(t(⊂⊃Iu⊂⊂∃ ∃"ThU *∩)d8⊂⊃j$λ(∩ ∀_)H¬¬ $⊃*4H)J)DH!∀H∃⊂$P)b⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧5_+Q(T8"⊃*¬ ↔λ t0⊂∪JTh"TI∀_ S∧∧λ'⊂)EH)R*2∪λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
$x,P)B$SJ5 $U
U "H t0⊂∃λT_$∪It`'Qk∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α)K&∪_
εB)U t_%R t`&Hεs⊗λ
58"QλTp⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ dx*⊃'"⊂∪)∀_)∪hdH!RλR$Td∧0)⊃(R'QD∧_$⊂*$8"@wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x∧]`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∀⎇`X[{ifPx∃=`X[{iN0x ≥`X[{i6⊂x ]`X[{i≥px∃≥`X[{i¬Px∪≥`X[{hm0x∪]`X[{hU⊂x≥`X[{h<px≥`X[{h$Px≥`X[{h 0x≥`X[{gt⊂x ]`X[{g[px ]`X[{gCPx ]`X[{g+0x ]`X[{g∪⊂x≥`X[{fzpxλ⎇`X[{fbPx≥`X[{fJ0 α ↓;80u`∩@X λ@)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧ ) D∧P'V(4(⊂⊃J$H"Q Tλ'λ∧α#∀Ith≥λ DH!∀H∃⊂,Hλ∀p"λ
¬(!∪ ∀_ U ∀x'∀d∧_'S)TH*∃λT(⊂λ∧α⊂λ∧α⊂⊂ith(∃*D()λ
4_$Q)d_"HλD((⊂*% &Q)e ⊂λ∧α⊂λ∧α⊂∀jDλ'⊃Iu⊂"λ
Tp$UHU⊂)R*EH⊂λ∧α⊂λ∧α⊂∀jDλ'⊃Iu⊂" ∧∧_ Hπ∪ →LεR*Th∃ 4→$ε07[
Fx;Z-f8⊂≤LW7\NG_⊂≥
ελ:λ∂⊗x:H
ελ;→$εx9→ W⊂2Y∧ελ9→$ε(7_mFx9Y,B;Z.F@⊂≥
εH9H∞ελ1Zm⊗p3H∞6`4\π%+⊃eSλ≠
VH1\Mv04Xmε(∀H E(!Ri∧λ&H∧b(∪iDλ%K∧∧λ"⊂$∧(,⊂hU*∩)tp)TjDλ' (5_⊗Nεαh≠N&B@6Z,7⊂7YM⊗_4→%∩*⊂*$P SEB)⊃(4('∃∧∧ "UHT`'T¬b$SD∧_'S*∧`"V ∃ ,H t0⊂⊂ith!∩)dλ*∪j$H S∧αp↔ J5 SET_)K'β⊗Mg∪8∀≠-⊗_9≠lfH1Z RH⊂⊃h∃⊂!R(∩h&SiDH'⊂$α0⊂∃i∀("⊃*$@'SλB`⊂∀HTλ" )tp&⊗$¬ )⊂)e_ PjDH'SJ2p↔ J5 SET_)K'β⊗Mg∪@∀~ ↔⊂2_mw<J$∧0&∪k∀ ⊂ D¬(&∪ Tλ' ∧∧_'S*∧H&⊂*DH'SD∧x#λ
$(#U)Dλ)λλU@(∀HU_)R)tp)KEbp⊂λ∧B→ FS R)Rh→Lfb@6Z,7⊂7YM⊗_4→%∩&KD∧⊂)∪itX)K∧∧ "UλU⊂&R)dH'⊃d∧_'TJ$(!U d()Td∧⊂,H
D()U ∀p#H¬¬ $⊃*4H)J+⊗x:H 7(9≤LVp:≠∂∩4_.f(⊂_$ε_9→,FH:λ &λ6_-f_2H
v0⊂ ∧β⊂↔∞&Rp⊂∃
ελ7~dπH7]$∀ ) D∧P'V(4(⊂⊃J$H"Q Tλ'λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_~∞ε∀x) &∪_≤λ
∧x&Sidλ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧λ'∪D∧λ)⊂Iu⊂⊗λ TH⊂λ∧β ≤ &β_⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∪Iu "NDα&R(5⊂'QI∀_$⊃$∧H)Hλe⊂"Q$∧x#λλ4@ THt(wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xε⎇`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ]`X[{ifPx∃=`X[{iN0x∀≥`X[{i6⊂x∃]`X[{i≥px∩]`X[{i¬Px≥`X[{hm0x∞=`X[{hU⊂x≥`X[{h<px≥`X[{h$Px≥`X[{h 0x ]`X[{gt⊂x ]`X[{g[px ]`X[{gCPx≥`X[{g+0x≥`X[{g∪⊂xλ⎇`X[{fzpx≥`X[{fbP ↓f↓;80u`∩@X λ )U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬)∪hbp⊂⊂)d )⊃*r+R ∀p)U tp⊂λ∧∧0)∪iSP⊂∪ ∀⊂)⊂*%H⊂⊂)d ⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x&S)∃ *⊃(R⊂λ∧α⊂λ∧α!SiU*UλU⊂⊂∀h4H"SH4(⊂⊃λU TJDh"SJB⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊗λλ4λ⊂∞&C__
$¬()P*F@2H fx6≠
w84[Lr9→.εx9≥∞2:~ ↔ ⊂≡-w(⊂~ ↔02H
w⊂2→.&(2λ ↔⊂2H Vp1[
w_2Y∧π84]
α:~
↔_⊂~-g07Z,6(≥∀jDλ' (5_⊗Nεαh≠N&α@4_.& 1[nπH∀H
tH"QλU⊂$∪iD ⊗λλDλ*⊂($λ)Q*2$SD∧@"P)E $⊂h∃⊂"H∧α ⊂ ec@~TjDλ' (5_⊗Nεαh≠N&∩@4_.& 1[nπH∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&λ∧α ⊂∞¬c0~TjDλ' (5_⊗Nεαh≠N&"@4_.& 1[nπH∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ ∀h(∪λTh"SJDλ*∩)tp⊂∪jd()∃I∀(+H∧α ⊂ ec8_∀jDλ' (5_⊗Nεαh≤ ε∩@4_.& 1[nπH∀HλT`⊗S(∃_)∩%B"⊃*4H#SD¬()Q$α0⊂∩)e "Qj$λ*∩)tp⊂∪hb"⊂*Dλ⊂∪)t "S
2∀∃ ∧()R*2H⊂λ∧B~KFβ)Uλ∀p⊗Pj2h≤ ¬S8≤M¬ε@0\LF_7\∂∩H⊂∃λ∃⊂%⊂)b`⊂∀HT_"SJB"⊃*d(&∪jαp⊂∩)b!SiU&⊃+∧H*⊗$∧x#λλ4x&PI∀p U u⊂$P)B↔ Ee_*⊂)bh!TeS@_ &sH≠J
ελ9→ 6x8≡%∩#P*$_$P%Th'S ∀p H∧b+R(T "TI∧x&⊃¬B)⊃(∀ ⊗Sid`,H
E⊂ SJ4λ!U ∀x'∀ebp↔λ∧α ⊂ Ec _∃
ε(⊂_mw_:λ
v0⊂≥
ε(9Y$π⊂2\
w⊂:≤eB:≠lv(:~ W⊂⊂≥m↔ 4λ∞F@2H∞π⊂2]M⊗x:\dε⊂0[ ⊗p1Y$εH7λ∂⊗x:\L⊗_1[nVp: ∧ε_7[,W_⊂≥
r∩λεC↔ FRp⊂∀
F(0\lR6X-6(⊂≡-w(9λ 6@2Xm28_/⊗λ1≠ R`⊂~-b [,W⊂4Xl⊗p⊂→
v`6_.'_⊗λ∞Fx0⊂j4 ⊂∀nFλ7→Mw⊂2λ
Vp4]LW⊂9Z.GH∪H ⊗p2λ∞&(:≥.&p⊂~.B;Z.F@⊂≥
ε(⊂~-g07Z,6(⊂_.B:~ R1≠nG 7[$εx3λ∞F@4\dεh2[-rp⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%R$SJdx$PhR⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%U_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧H'∃ItH!Q$∧p'ND∧_%∀eT "Pf3λ≤Nε∧ 2\ ↔⊂:≠,Vp:λ
v0⊂⊂mvh8≥.F(9λ
6_4Y-f_2T∞V⊂6~,6λ:~-vp9H v03~,6()] ⊗p3≠n& ⊗λλ6λ6~,fx9≠M⊗λ⊂∞&C__
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλDλ*⊃'"→HλD(!Hε∪H≤
4x&⊃∧¬ 'NDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλ5()U th"TD∧p'KG"~
g∀λ+H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀¬dx↔λ dx↔∞D¬)∪hbp⊂⊂)d )⊃*r+R ∀p)U tp⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_~
g∀λ+Rj$λ'∪HU⊂*λλu⊂ Q¬b)Piαp⊂∪hb⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧H'⊃
U_*∀I∀λ&λλ∀ &R)dH)U
$λ*∩)tp⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀
U⊂"∃(R*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬8"TjB&⊂(dλ,Q*E "K∧∧H'⊃ ∀λ'⊂$α~
g∪≠H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂⊃ W_1\M↔:~-vp⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
π⊂4XlRh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%U_*⊂)bh!TeS@_ &sH_
ελ9→ 6x8≡%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THR⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧B→KGβ()Uλ∀p⊗Pj2h≤ ¬S8≤L%ε@0\LF_7\∂∩H⊂∃i∀`!Skα"U∧∧λ& EB&P)∀p)P)∀`⊂∪λ∀p#U(∀8"H Tλ'∃(∀`⊂λ∧α⊂λ∧α⊂λ∧α ⊂∞¬c0~TjDλ' (5_⊗Nεαh≠N&"@4_.& 1[nπH∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ ∀h(∪λTh"SJDλ*∩)tp⊂∪jd()∃I∀(+H∧α∩λε2p≠L
5 SET_)K'β⊗Nεβλ∀~ ↔⊂2_mw<J$∧(& )Tλ)TI∩`⊂⊃λU_$Qib*ThR∪λ ∀p*⊃(u⊂ U ∀x'λ t0⊂⊃λ∃ H Tx"⊃)E_⊂ ∧β(↔ ε¬_*⊂)bh!TeS@_ &sH~
ελ9→ 6x8≡%∩*⊂*$P SEB)⊃(4('∃∧∧ "UHT`'T¬b$SD∧_'S*∧`"V ∃ ,H t0⊂⊂ith!∩)dλ*∪j$H S∧αp↔ J5 SET_)K'β⊗Mg∪8∀~ ↔⊂2_mw<J$∧8 TH4H K)Tx&∩)dλ⊂ D¬8$Q(D()∩ t`" ∧¬⊂"P(Bh'SIEH⊂∃
$λ'∀h∀_*∩)tp⊂ ∧β⊂↔
εα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬_:XD¬ 7] ⊗`⊂λ∧α⊂λ∧B→ ec0_λ
Rp)KDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
π⊂2]M⊗x:\mGH⊂⊃∞V(⊂ ∧βλ≠ Fc(⊂∃%e_↔λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∃ ↔@2\dα⊂λ∧α⊂λ∧α⊂λ∧∧p↔⊂%b⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬Rh⊗K%Rh⊗K%Rh⊗T D( ThR)⊃)TH*λ
D@$Td∧λ&SjTp*λ ∀p⊂∃%e_↔⊃ t`&⊂*%_⊂ %Sp⊂λ∧α⊂λ∧α⊂∃
w 0[∧∧ :Y$α⊂λ∧α∩λεC↔ FR*KJ2p⊂ %Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗Q
↔_1[ ⊗H6Y.#P⊂∃
ε(⊂⊂mvh8≥.F(9λ
6_4Y-f_2HλF(8_.' 6Y-g ⊂≠lb)] ⊗p3≠n& ⊂∃-fH;→.'_4]∂∩;Z-F`⊂≠Mw 2↑ 6@0[Lv(⊂≠n"4\n7(2H 7⊂2Y
↔ ⊂→Mw⊂⊂≤LW :\Mf(2λ∞π(1≠
⊗_0]
⊗x7≤eB0[LB4\dεp7]∧π⊂2\nεx7≤m⊗⊂6→$ε07\LFλ6X,v(9H
⊗p1].'⊂2Y∧εH7λ∞6@4\
V(7≥∧εx3λ∞π(1≠
⊗_0]
⊗x7≤e`wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xπ]`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∩⎇`X[{j↔⊂x≥`X[{i}px⊃≥`X[{ifPx∩≥`X[{iN0x∀≥`X[{i6⊂x⊗⎇`X[{i≥px∀⎇`X[{i¬Px∃]`X[{hm0x≥`X[{hU⊂x⊃=`X[{h<px∀]`X[{h$Px∩]`X[{h 0xα]`X[{gt⊂x≥`X[{g[px∀⎇`X[{gCPx≥`X[{g+0x∩≥`X[{g∪⊂xπ]`X[{fzpx∧⎇`X[{fbPxε]`X[{fJ0x⊂≥`X[{f2⊂x⊂⎇`X[{f→px∞]`X[{f↓Px≥`X[{ei0x ]`X[{eQ⊂x ]`X[{e8px ]`X[{e Px ]`X[{eλ0x ]`X[{dp⊂x≥`X[{dWpx≥`X[{d?Px∪]`X[{d'0x∀≥`X[{d∂⊂x∀=`X[{cvpx∀=`X[{c↑Px∀=`X[{cF0x∀=`X[{c.⊂x∀⎇`X[{c∃px∀=`X[{b⎇Px≥`X[{be0x∪⎇`X[{bM⊂x∪⎇`X[{b4px∩]`X[{b≤Px∪]`X[{b∧0x∀≥`X[{al⊂x∀≥`X[{aSpx∩⎇`X[{a;Px∪]`X[{a#0x =`X[{a ⊂ ¬m`↓;80u`∩@X ∂`⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh(≠ Vλ9Y$εh0ZlR1Z V_5\dπ0↑,⊗⊂6→$π 7H ∧_)Q∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$r0[LB3≠n'80\LB8_/⊗h2[NB@0[
vp3H∞vH:~∧π 4~.24[Nfx4XlRH⊂≥
sP⊂λ∧α⊂∀jDλ'⊃Iu⊂"λ
Tp$UHU⊂)R*EH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλD((⊂*% &Q)e ⊂∪hb!SiU*UλU⊂⊂∀h4H"SH4(⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλ∃ *⊃)e $Sib(∃($`$Ph∃ $Sie_⊂⊂itx)⊃ ∀p U u⊂⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
5 SHdx)⊃¬B!P$βH~ fβ(⊂λ
Rp)KH∩p⊗H¬R⊗H¬R$U∧∧H)H ∀h(∪j% SJB*∩λ∃ ⊂∃ ∧H)H ∀p+∪i∀_"Hλ$(⊂∀HU *TId("λ
tH*∩∧¬H'U*"(⊂+∀h"SJB⊗H¬R⊗H¬Pwαv}x1πN∂0x∀≥`X[{l Px∩⎇`X[{kq0x
=`X[{kY⊂x⊂≥`X[{k@px⊃≥`X[{k(Px∂≥`X[{k⊂0x≥`X[{jx⊂x∪⎇`X[{j←p w`↓;80u`∩@X β)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND¬)∪hbp⊂⊃ tp SλB KD∧λ&∃ tp⊂λ∧∧0)∪iSP⊂∪ ∀⊂)⊂*%H⊂⊂)d ⊂∀
T⊂&∩(4λ*∩)tp)Hλ4x&S)∃ *⊃(R⊂λ∧α⊂λ∧α!SiU*UλU⊂⊂∀h4H"SH4(⊂⊃λU TJDh"SJB⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊗λλ4λ⊂∞&C__
$¬()P*F@2H fx6≠
w84[Lr9→.εx9≥∞2:~ ↔ ⊂≡-w(⊂~ ↔02H
w⊂2→.&(2λ ↔⊂2H Vp1[
w_2Y∧π84]
α:~
↔_⊂≤ ⊗_5Z-f8⊂≤mFH8∞J5 SET_)K'β⊗Mg∪ ∀~ ↔⊂2_mw<J$¬ TI$λ' ∧¬⊂"PhTp*λλD(+⊃)Dx( D∧H'λλ4x&T D(,∩*EH⊂∪hb!SiT⊂$SH∃ 'TI∀λ&λ¬bp↔∀jDλ' (5_⊗Nεαh≠N'α@6Z,7⊂7YM⊗_4→%∩#∪ uH"λ∧b*S Dh SEB!SiU$Sλ∃ $Sib'QD¬⊂"QjT` TD∧(,∀
$()Ti∀x'∀ebp↔⊂)∀h⊗Lf30∀≠-⊗_9≠lfH1Z RH⊂∪%b!∀Itx%TeB"⊃*D()∪)∀p$SHr!Sj%⊂"PjDp"Tj2!⊗$¬ "TjDH'⊃dα@*∩λU_$Te∃)∪hbp⊂⊃ tp SλB KD∧λ&∃ tp⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α_~LF$ QλU* D∧x#λλ4x&T
U "TD¬_!R(Tp!Q$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬ $⊃$¬('∩*d()∀i∃ ,H t0⊂∩)u8 H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∩)u8 Hλ4H*⊗%B$Sjtλ⊂λεS⊂→
εα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0xπ]`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px∀⎇`X[{ifPx∀≥`X[{iN0x∩]`X[{i6⊂x≥`X[{i≥px≥`X[{i¬Px≥`X[{hm0x≥`X[{hU⊂x ]`X[{h<px ]`X[{h$Px ]`X[{h 0x ]`X[{gt⊂x≥`X[{g[pxλ⎇`X[{gCPx≥`X[{g+0 ↓B@↓;80u`∩@X π@)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧ SD∧_)⊂)∀8"SDα⊂⊃J$x&ND∧`$PJ$λ)⊗$∧λ'⊃∧¬*PIDH!P*DH'SJ2!SiTh$U
D("H∧α⊂λ∧α⊂λλ4x&T
U "TD¬_!R(Tp!Q$∧ "Tλ∃⊂*∪(Tp*λ∧α⊂λ∧α⊂λ
5 SHdx)⊃∧¬('∩*d()∀i∃ ,H∧α⊂λ∧α⊂λ
5 SHdx)⊃¬B!P$βH~ fβ(⊂∃*4λ*~ R3≠mF`7]m⊗p3H∞&(8≠n' 9H∞F@0]∧πH7]$ε@0]LR7\LF(9→,B0\LR2[L6`7\lV ⊂≥m↔ 4λ∞F@4\dεH7≥MvH1Y'%+⊃eSλ≠
ελ9→ 6x8≡%∩&∃(4X$⊂)R∪λ
∧x&⊂)2`⊂⊂(Dλ⊂⊃+∧_"T
DH'SJ2⊂ ∧β⊂↔ FU_*⊂)bh!TeS@_ &sH_
VH1\Mv04Xmε(∀H
tH"QλU⊂$∪iD ⊗λλDλ*⊂($λ)Q*2$SD∧@"P)E $⊂h∃⊂"TjDλ' (5_⊗Nεαh≠N&B@6Z,7⊂7YM⊗_4→%∩*⊂*$P SEB)⊃(4('∃∧∧ "UHT`'T¬b$SD∧_'S*∧`"V ∃ ,H t0⊂⊂ith!∩)dλ*∪j$H S∧αp↔ J5 SET_)K'β⊗Mg∪(∀≠-⊗_9≠lfH1Z RH⊂∩ie(*∩¬B*∩λR&⊃*E "TD¬_ R)Rh→LfR@4_.& 1[nπH∀H
4λ&U(T`⊗λλU_)Q)e $P)B"H∧α ⊂ Ec0~T
d8⊗L&r@4_.& 1[nπH∀H
∧x&⊂)2`⊂∃ ∧('TK∩'QD∧_'S*∧H&⊃*")TλT_$QI∀_ U ∀x'λ∧b+⊃*$H#∩(4λ*∩)tp⊂
D@"Ti∃_∀H∧α ⊂
%c8~P)∀h⊗Lf30∀~ ↔⊂2_mw<J$∧h↔λλ%⊂'Si5_⊗λλD(*⊃*$h$SI∀p#Hλ4x)∀HT_*∪HU_)Hλ%H⊂∃λU_*∩)d8⊂
D@"Ti∃_∀H∧α ⊂
%c(_∀jDλ' (5_⊗Nεαh≠N'α@4_.& 1[nπH∀Hλd`'V(B∪λ
T`&∪(∀p⊗λλ4x&T ∀` U ∀x'λ t0⊂∀HT8*Sλ∃⊂⊂⊃+¬)⊃*5_$Sie_↔ Eb⊂ ∧β⊂↔
&¬ 4→$ε_7\nB7YDπ 4→.6(⊂≤LW7\NG_⊂~.2∩λε∪@↔
FRp⊂∀
F(0\lR6X-6(⊂≡-w(9λ 6@2Xm28_/⊗λ1≠ R`⊂~-b [,W⊂4Xl⊗p⊂→
v`6_.'_⊗λ∞Fx⊂_λ5_"λ
7 0[Lfx9→∧¬(7~.f(9≤m↔ <Idελ7→∧π⊂2]∞W⊂7λ
↔ ⊂≥m↔ 4λ∞F@2H
⊗p;≠m⊗_2H ↔ ⊂≥
ε(⊂_Mw :≠mR7YDπ 4~.26Y-Vx↔ %Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊂∩)e0'R(4(⊂ %Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh)Uλ∀p#∪j$ ⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α$SJdx$PhR'∪g"!RJ2h"⊃(3__N'β"→.ελ9≥
V(7≥∧εx3λλ6x6\∞W 2\D¬_1Z,Vp1Y*π(1≠
⊗_0]
⊗x7≤d∧x3→M⊗_2TnFλ7→Mw⊂2 ∧∧_0[
⊗07\MfH0Hπ∪ →LεR⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧ UλSP⊂ d∧ "Pdβλ≤Nε¬_'SλB*∪g"⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧_*TjDx&Q*"'∪ecP⊂⊂h∀p'∩$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
αp'KD∧p'KG""⊂)b!TH∀H#Q)b⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊃Ph∀p'∩(2x'H ∩p( D¬_$⊂*%⊂⊂*5_'Pi∀λ*⊃*2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→
FR!P*$`$SHr UHTp*Q%B)U)∃ "Hεc_λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ u *⊂*tλ⊗λ tp*⊂*$H'H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α!P)dλ"⊂$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λλF(9Xn&H8≥
⊗x7λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬9~,6(⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh(∃Hrh_MEε@0\LF_7\∂∩H⊂∪
T_%Rλ∀h⊂ D¬'Sλ∀X⊗λλ∀ HλU@!Q*¬ $Sie_⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α ⊂ Ec⊂~TjDλ' (5_⊗Nεαh≠N&α@6Z,7⊂7YM⊗_4→%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THU_*⊂)bh!TeS@_ &sH~
VH1\Mv04Xmε(∀H
Dλ)∩H∀p⊗λ
$(!Q)e ⊂⊃λU0"S u↔λ ∀p⊂⊂ith(∪λU@$U ∩'QD∧_'S($H'⊂*Dx)∩(∀`⊂ Ebp)Uλ∀p⊗Pj2h≤ ¬S8≤M%εh4Xn&x3~,6@2J$∧X'∃*D@⊗λ
D@"H D(*∃λU⊂⊂∀h∀H&K&3_~J
ελ9→ 6x8≡%∩)P)U("S¬B"Tj4('∃ ∀λ&λλR⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂ ∧β⊂↔
FU+⊃eSλ≠J
ελ9→ 6x8≡%∩(∪iDλ%K∧¬ $⊃)u⊂,H t0⊂⊂ith(∩)D()λ
5"Pi∀0$Ph∃ $Sib∪λ
d()∩(dH!P*DH'SDα@*λ∧B~KFs( R)Rh→Lfb@4_.& 1[nπH∀H Rp⊂⊂J$x'Rj2`⊂⊃λU "TITH'∩)d8⊂⊂iu⊂)⊃(5 '⊃*5_⊂⊂K∩*⊃*5 $SHr∀∃ ∧()R*2H⊂λ∧α ⊂
%c(_∀jDλ' (5_⊗Nεαh≠N'α@4_.& 1[nπH∀Hλd`'V(B∪λ
T`&∪(∀p⊗λλ4x&T ∀` U ∀x'λ t0⊂∀HT8*Sλ∃⊂⊂⊃+¬)⊃*5_$Sib∩λε"p~L∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
7(1λ
Fx:_-B⊂λ∧α⊂ ∧βλ≤ Fc(⊂∃%e_↔λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀∞&(;~-w(9[∂∩"≥,R∩λ∧α↔ εα*KJ2p⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α*_/ε(9H∧α⊂λ∧α⊂λ∧α⊂λ bp KDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂ %Rh⊗K%Rh⊗K%Rh(∪λTλ)Q$¬⊂"S)∃ ⊂∃ ∧H)Hλ∀h'U)e ⊂∩)b*KJ2p"∪iD` TJ2⊗K'b⊂λ∧α⊂λ∧α*≠nFλ6λλG(2H∧α⊂λ∧α ⊂ 'αp≠
$¬(↔∀eb'∪jD(≥λ∧∧h$Pj$x#∩(4@"H ∃_⊂⊃J$("H t0⊂⊂i∧λ)⊃hPwαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x¬≥`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∩⎇`X[{j↔⊂x≥`X[{i}px∞≥`X[{ifPx∂]`X[{iN0x∃=`X[{i6⊂x ]`X[{i≥px =`X[{i¬Px⊗≥`X[{hm0x∀≥`X[{hU⊂x∃]`X[{h<px≥`X[{h$Px∀]`X[{h 0x∪≥`X[{gt⊂x¬≥`X[{g[px≥`X[{gCPx∀⎇`X[{g+0x≥`X[{g∪⊂x∩≥`X[{fzpxπ]`X[{fbPx∧⎇`X[{fJ0xε]`X[{f2⊂x⊂≥`X[{f→px⊂⎇`X[{f↓Px∞]`X[{ei0x≥`X[{eQ⊂x ]`X[{e8px ]`X[{e Px ]`X[{eλ0x ]`X[{dp⊂x ]`X[{dWpx≥`X[{d?Px≥`X[{d'0x∪]`X[{d∂⊂x∀≥`X[{cvpx∀=`X[{c↑Px∂]`X[{cF0x∃=`X[{c.⊂x ]`X[{c∃px∀=`X[{b⎇Px∀=`X[{be0x∀=`X[{bM⊂x∀=`X[{b4px≥`X[{b≤Px∪⎇`X[{b∧0x∪⎇`X[{al⊂x∩]`X[{aSpx∪]`X[{a;Px∀≥`X[{a#0xλ⎇`X[{a ⊂ ¬L`↓;80u`∩@X ∂`⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh"~.6_6_-⊗h2\G"*~ R![mW:] W⊂⊂∀l6H2[L6(⊂⊃ W0\NFh2[NB7YD¬_:_-f07\LB*[M↔02\N6H:≡$π84[
B7≠nF(<_mελ7→lR7\DεH9\nV(⊂_n&(2~.B3≠n"9→.G(9≠LV ⊂≤∞V⊂6~,6λ:~-vp9K∧ελ7→∧εH9H
fx:λ∞&(9\
vp9Z,&`2H fx9→ ⊗h0YlW_⊂~-f_:\N&(2λ
⊗p⊂≤mεH8≠,Vp:λ
v0⊂≤∞V⊂6~,6λ:~-vp9KERh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K%Rh⊗K*ε`2X.6(⊂≠,⊗X2H 6@2Xm7_⊂≤ ↔H0XMF(⊂≥
r0⊂j4 ⊂∀jDλ'⊃Iu⊂"λ
Tp$UHU⊂)R*EH∪H ⊗p2λ fx9≥l↔⊂2λ∞ελ<[,Vp:
⊗`7[Lr;Z.F@⊂≥
εH9H
⊗p;≠m⊗_2J$π 7NDα⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α"⊃*∧λ)∃ T('∃∧∧x#λλ4x&T
U "TD¬_!R(Tp!Q$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α U
D('∃ ∀x'λ
¬(!∪ ∀_ U ∀x'∀d∧_'Sj$ $SH∃ 'TDα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α)Uλ∀p#∪j$ ⊗λλ4λ⊂∞&C__
$α*KJ2p KER⊗H¬R⊗H ∃ ⊂∩*2$S*∧x)∃λ∀p*λ
D@ U∧¬ $∩*2$SJdx$PhR!⊃$¬⊂"U
U⊂'⊃(B+R*D@⊂⊗)u()λ
∧λ,S(Tp*λ¬R⊗H¬R⊗@wαv}x1πN∂0x∀≥`X[{l Px∩⎇`X[{kq0x∪]`X[{kY⊂x =`X[{k@px∀≥`X[{k(Px∩⎇`X[{k⊂0x
=`X[{jx⊂x⊂≥`X[{j←px⊃≥`X[{jGPx∂≥`X[{j/0x≥`X[{j↔⊂x∪⎇`X[{i}p ↓= ↓;80u`∩@X ∧)U($P"PjCP⊂∀HU'TJB'THD()λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α→HλD(!Hε∪H≤ ∧α⊂λ∧¬ 'ND∧( TIB& D∧h'U)e )K∧∧_)H DH!∀H∃⊂$P)b⊂λλe⊂'S'"&∩(%⊂ TK∩ SHB(∃($`$Ph∃ $Sie_⊂⊂ith&R*E "Q$α⊂λ∧α⊂λ∧∧_'S*¬(*⊃*")Pi∀('⊂hR"⊃*∧λ)∃ T('∃∧α⊂λ∧α⊂λ∧¬_*⊂)d0'THB*SI∃0"TJ4H*⊗$α⊂λ∧α⊂λ∧¬_*⊂)d0'THB`⊂⊂h∩≤Mε3~H
U_ U
ε(⊂→Mv`6≠nvH7→dπ⊂2\
w⊂:≤dπ 4_.B<[nR4_.f(⊂≠n& 2\LV ⊂_.&(⊂→-f_6≠n6(2λ∞vH:~∧π 4~.28_,6X4[Lr9[
↔≥∀
d8⊗L&b@4_.& 1[nπH∀H E(!Ri∧λ&H∧b(∪iDλ%K∧∧λ"⊂$∧(,⊂hU*∩)tp)T
d8⊗L&b@6Z,7⊂7YM⊗_4→%∩&∃(4X$⊂)R∪λ
∧x&⊂)2`⊂⊂(Dλ⊂⊃+∧_"T
DH'SJ5_*⊂)bh!TeS@_ &sH_
ελ9→ 6x8≡%∩+R(T "TI∧x&⊃¬B"⊂*Dλ!⊂*4()H ∀p⊂∩λTλ&∃ ∧_ THU_*⊂)bh!TeS@_ &sH_
VH1\Mv04Xmε(∀H
tH"QλU⊂$∪iD ⊗λλDλ*⊂($λ)Q*2$SD∧@"P)E $⊂h∃⊂"TjDλ' (5_⊗Nεαh≠N&∩@4_.& 1[nπH∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ Dλ'⊃jTλ#Q$∧h SJTλ&∀jDλ' (5_⊗Nεαh≠N&∩@6Z,7⊂7YM⊗_4→%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B&⊂)d8*P(t(⊂∪(∀p*P)E_*⊂)bh!TeS@_ &sH→
ελ9→ 6x8≡%∩+R)D_'V∧∧(*λλ∀`↔ ∧∧h R)e_ R)B$S*∧`"S(Tp*⊂*DH'SD∧x+⊃*%0$Q*u_*⊂)bh!TeS@_ &sH→
VH1\Mv04Xmε(∀H
tH&⊂iu@⊂⊃*B S¬b`⊂∪(∀H'∀h∀H&λ ∀h(∪λTh"SJDλ*∩)tp⊂∪jd()∃I∀(+TjDλ' (5_⊗Nεαh≠N&B@4_.& 1[nπH∀H
Dλ)∩H∀p⊗λ
$(!Q)e ⊂⊃λU0"S u↔λ ∀p⊂⊂ith(∪λU@$U ∩'QD∧_'S($H'⊂*Dx)∩(∀`⊂ Ebp)Uλ∀p⊗Pj2h≤ ¬S8≤M¬εh4Xn&x3~,6@2J$¬ TI$λ' ∧¬⊂"PhTp*λλD(+⊃)Dx( D∧H'λλ4x&T D(,∩*EH⊂∪hb!SiT⊂$SH∃ 'TI∀λ&λ¬bp↔∀jDλ' (5_⊗Nεαh≠N&R@4_.& 1[nπH∀H 4p*U α`⊂∃ ∧(⊂∪λU *⊃*")TjDλ' (5_⊗Nεαh≠N&R@6Z,7⊂7YM⊗_4→%∩%SJU $ ∧¬ $⊃$∧`"U
D()λ
4λ$S%S_→M%ε@0\LF_7\∂∩H⊂∀h∀h*Q)B`⊂⊃*5_"SJDH S∧∧( R)Rh→LfR@6Z,7⊂7YM⊗_4→%∩)P)U("S¬B"Tj4('∃ ∀λ&λλU_*⊂)bh!TeS@_ &sH≠J
ελ9→ 6x8≡%∩#P*$_$P%Th'S ∀p H∧b+R(T "TI∧x&⊃¬B)⊃(∀ ⊗Sid`,H
E⊂ SJ4λ!U ∀x'∀ebp↔∀jDλ' (5_⊗Nεαh≠N&r@6Z,7⊂7YM⊗_4→%∩#P*$_$P%Th'S ∀p H∧b+R(T "TI∧x&⊃¬B)⊃(∀ ⊗Sid`,H
E⊂ SJ4λ!U ∀x'∀ebp↔∀jDλ' (5_⊗Nεαh≠N'α@4_.& 1[nπH∀Hλd`'V(B∪λ
T`&∪(∀p⊗λλ4x&T ∀` U ∀x'λ t0⊂∀HT8*Sλ∃⊂⊂⊃+¬)⊃*5_$Sie_↔ Ee_*⊂)bh!TeS@_ &sH≤
VH1\Mv04Xmε(∀Hλd`'V(B∪λ
T`&∪(∀p⊗λλ4x&T ∀` U ∀x'λ t0⊂∀HT8*Sλ∃⊂⊂⊃+¬)⊃*5_$Sie_↔ Ee_*⊂)bh!TeS@_ &sH≤J
VH1\Mv04Xmε(∀Hλe⊂$Q(Dh SD∧(*λλ∀`↔ ∧∧h*S
DH"∩)T('∀i∀x'⊂)B QλDH*∩*d(⊂∀j∧`$SHR T
¬⊂'V¬e_*⊂)bh!TeS@_ 'β_J
ελ9→ 6x8≡%∩"S¬Th Tj$H⊗λλD()R(tp⊂∃*4(⊂ D∧H'∃λT8)⊂*DH'SD∧x#λλDλ*⊂$∧h'QλT`)H¬¬ $⊃*4H)J*¬0#K&∪8∀~ ↔⊂2_mw<J$¬'Sλ∀X⊗λ
D@"Sj%H⊂∪hb!SiU$SλU⊂⊂∀j∧(!R(dH!P*DH'SDα0⊂∃HU⊂$QI∀_ U ∀x'묬 $⊃*4H)J*5 SET_)K'β⊗Nεβ_∀~ ↔⊂2_mw<J$¬0 SD¬8,ReB&⊂)d8*P(t(⊂⊃Iu⊂⊂∃ ∃"ThU *∩)d8⊂⊃j$λ(∩ ∀_)H¬¬ $⊃*4H)J*5 SET_)K'β⊗Nεβ_∀≠-⊗_9≠lfH1Z RH⊂∃H∀p⊂∃k∀X⊗λ Dλ'⊃jTλ#Q$∧0'TD¬ ,TλU_"U
DH'⊃d∧8)⊂*∧@$Pj2∀∃ ∧()R*2H R)Rh→Lfb@4_.& 1[nπH∀H Rp⊂⊂J$x'Rj2`⊂⊃λU "TITH'∩)d8⊂⊂iu⊂)⊃(5 '⊃*5_⊂⊂K∩*⊃*5 $SHr∀∃ ∧()R*2H R)Rh→Lfb@6Z,7⊂7YM⊗_4→%∩&KD∧⊂)∪itX)K∧∧ "UλU⊂&R)dH'⊃d∧_'TJ$(!U d()Td∧⊂,H
D()U ∀p#H¬¬ $⊃*4H)J(∀H&K&3_≤J
ελ9→ 6x8≡%∩#Q)dp"TK∩`⊂∪)t "S DH'⊃d∧('∃I∃⊂'SIT('∃∧∧x#λλU@(∪ u⊂$SHr+⊃)∧H!S
2p↔
D@"Ti∃_∀Q(∃⊂&λ Bp⊂∪)u('∃
2`⊂⊂j2&∩(%⊂ TI∀λ'λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λf∪(→∀I∧(⊂ D¬_⊂∪ ∀⊂)⊂*%H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂⊂h∃⊂'⊃(tH"H T(&∪ tp⊂∃)dH+⊃*%_$U ∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬_!RλTp&⊃+∩(⊂*$X⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∀ ∃ *∀h%()⊃iα`⊂∀λ∩p⊂λε∪(→ &2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p'UλSP⊂λ TH!TIt0$Pi∧(⊂∩*2#∀HT(⊂∪hb!Rλ∃⊂#Q wαv}x1πN∂0x∞]`X[{l Px≥`X[{kq0x =`X[{kY⊂x≥`X[{k@px≥`X[{k(Px
⎇`X[{k⊂0x ≥`X[{jx⊂xπ≥`X[{j←pxπ⎇`X[{jGPx≥`X[{j/0x∀≥`X[{j↔⊂x≥`X[{i}px ≥`X[{ifPx ]`X[{iN0x∂≥`X[{i6⊂x∂]`X[{i≥px⊂≥`X[{i¬Px⊂]`X[{hm0x∩≥`X[{hU⊂x∩]`X[{h<px∀⎇`X[{h$Px∃=`X[{h 0x ≥`X[{gt⊂x ]`X[{g[px =`X[{gCPx ⎇`X[{g+0x∪]`X[{g∪⊂x∀≥`X[{fzpx∪]`X[{fbPx∀≥`X[{fJ0x∃≥`X[{f2⊂x∀⎇`X[{f→px∀≥`X[{f↓Px∪≥`X[{ei0x∪]`X[{eQ⊂x∩≥`X[{e8px∩]`X[{e Px∪⎇`X[{eλ0x≥`X[{dp⊂x≥`X[{dWpx≥`X[{d?Px≥`X[{d'0x ]`X[{d∂⊂x ]`X[{cvpx ]`X[{c↑Px ]`X[{cF0x ]`X[{c.⊂x≥`X[{c∃pxλ⎇`X[{b⎇P ∧P@↓;80u`∩@X
∧⊂?@E_ R)@α↓ εp(`λ`@↓` x@∞@↓λ`π@↓ `π@↓8`λ ↓P↓ε@↓p`λ`αλ@ α_↓ε α8` αP`λ αh`π`β` β_`λ@β0↓πβP`π@βh` ∧` ∧_↓ε ∧8↓` ∧p@∞@¬↓π@¬ `π`¬8↓` ¬p@
ε`λ@ε_↓` εP` εh↓@α` π_?␈x5 `π0λπ J{T⊗8 λ␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x¬⊂I∀`&∀dαp*∪*↓QλEH L&"h_
¬Sλ≤Nεα_Lπ#_∞F∪0H_H_H_↓HH ¬H ¬H εxH πH πH H