13

13

13

13

forall

forall

forall

13

exist

forallexistforall

ampniforallforall

( existampforallexist

13exist

forallforall

forallforallexist

)existforall

forall

forall forall

13

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forallexist

existexist lowast

forall ni

(forall

exist+forall+forall

exist13exist

01

1313

forall2 0existexistforall23forall2forallampamp ampamp

forallexistforall3456 existforall078exist2exist

existexistforallexist forall5 existforall2existamp078exist

exist5 forall5exist5forall5 existamp078exist

exist5 forall5forall2exist0existexistexist8

05 existexist 345existexist9

3455exist 55exist5

2exist exist5 5 forall2 exist 5

exist

amp5 forall exist5 existforallexistexistforallexist

5 3exist exist exist forall

existforallforallforallexist

exist5 existamp25 exist existminuslt

0exist5 25 55=+lowast

minusforall+exist=05=9 exist95

0forallexist existforall exist existforall gt( forall exist

5forallexistforall existexistforall295

existexistamp existexistforallexistforallforall

5 existexist amp forall exist amp exist exist 5

existforall2

existexist existexistforallforallampexistampexist5 5

exist forall 13exist 13exist forall3forall exist

exist forall 9existforall

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forallforall135 2exist2forallexist5

forallexistexistforallexistforallamp forall

13exist5existexist555

6exist exist5 52 exist

forall existforall forall ( 9 forall exist (

forallexist exist5 forallforallexist5 (

forall2 forall forallexist exist forall existforall 5

existexist exist forall exist exist

existexist2forallexistexist amp 5 existexist

exist 2513exist5 5amp 5 forall

amp 5 2existexist

1313131313lt

ampamp existforallexistforallexist5 existexistexist

5 forall2 forall5 05 exist 5

existforall 5 existforallexistamp5 5existamp9

5ni

+forall

forall+forall

012

6==5 forall existampexist forall

ampamp 9exist5 forall 5 forallexist existexist

exist20forall5 exist5 exist5 exist

5 exist 5 exist5 existexistforallexistforall

forall5forallamp 5 existforall5amp 5

exist5 existexistexistforallexistampforall5

forallamp 3amp 5 exist5 exist 0forall

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forall 5existforall5forall

forall

5existexist5 forall5existampamp 5 existexistexist3exist

amp 5 forall exist ampamp exist exist

exist forall ampamp 5 exist amp 5 exist

existforallexistexist2 5

existampamp exist existforall

ampamp 5 exist amp 5 exist

exist 2 5 exist forall5

existexist5ampamp 5forall5exist

6forall ampamp 13exist5

amp132exist5 2existampamp exist

exist2exist 5 forallexistamp 5 exist2exist

forall5 existexistexistforall amp 5 2exist5

existforallexistforall amp 5 exist 2exist5 exist forallexist

amp exist 2exist amp ampexist5 5 forall forall

existexist exist

13

9forallforall5 5exist4forall

forallforallforall2forall

5exist 03

95exist5 exist exist

forallexistexist5amp03

forall13 9exist exist

forall5 existexistforall4forallforallforall

forall2 existforall33exist 13exist forall existexist33 2 amp 13 cong

0 2 exist 5 5 2 forall forall 5 5

forall amp 0 forall 5 exist

5existampcong 5+forall5 3ampforall

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forall cong forall 5

5amp5forallforall

45 exist0=

+ni 3

foralllowast4

exist5exist

forall=lt

exist exist exist 5 forall ampforallamp

9existexistforallexistexistexist

forall forall exist exist exist 5 +

forallforall

exist

forall existexistforallforall 5 2

ampforallexistforallexistexistforall existforall 3forall

5 exist2ampforallexistforallexist6exist

forall 3forall 55existexist

5 forall

forallforall213cong4existforall

exist5 exist2 forall amp

0forall5 existamp4 5

2exist4existforall2existforallexistexistampΑ6

=6503existforall2existexist3existexist

exist078exist3exist forall2existforall2exist9=

Α forallexistcong5 forallexistamp

existamp5=0 5exist3existforall60

exist3exist forall2exist forall2exist 9 exist3exist forallexist

forallforall=Βlt

4 forall exist existforall exist

Αexist exist 2 5 6

exist ni

forall forall

02

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

1313lt

6forallexistexist(forallforall 5 amp4

exist ( forall 5 13exist amp 5

5 = forall forall

678lt forallexist135 forall forallexistforall

forallforallexist

1313

13 forall forallexistampforallamp

=exist 3 = forall5

cong=exist

forall 02

55 =existni

forallforall 0lt05existexist

existforallforallexist5 5 forall5 existexist2exist

23existexistexistforallforallexist52 amp

forall forallampexistampexist forallforall

45 exist0

exist 5 existforall

5 forall exist forallexist5

5= 0minusminuslt

lowast 5 2 forall exist forallexist5

Χ 5 exist5 exist amp =

existforall

0 amp amp078forall

minus 9existexist0

05

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist3∆5amp 13Ε5 Χamp 5

ΧforallΧ forallforall13Ε5 130

78=forall5 2existforallexist5 exist5=3

9exist0 forallexist5 forall exist(2= 5

forall existforall =exist5=7003∆5

forall5 exist 5 forall existforall (=

2=existforallexist2exist existexist

existexistamp0786existforall

exist2exist existexist2 existamp0780

forallexist2exist exist forall exist

existexist2existexist0785 exist

exist2exist =

6 5 2exist exist 0 78 5

existforallexist amp

exist forall

existforallexistamp exist

+niforall =

existforall52exist

amp 5 5 existforall 2 forall 2

forallexist3forallexistexist3635 exist2

existexistexistexistampforallamp exist exist

existexist=existforall3exist

exist13exist existexistexist5=2

5 existforall 62exist

exist exist 5 exist exist existexist 5exist exist 3 5 exist

forall existexist forallexistampforallampexistforall2 exist5

existexistexistexistexistampamp 5 forall2 exist

existexistampforallexistforall (

existamp 5 existforall 2exist

5 exist 5 exist5existexist=

=8existexistexistforall cong

forallexistexistampforallampexistampexistforallampampexistexistexistexist

5exist5 exist=8existexistexist5existforall5

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

amp 3amp 5 forall (=

existamp exist exist55 existexist 5

congamp 25 exist exist5 exist

5exist5 exist5exist5

9existexist existforallampforallamp

exist forall exist exist forall 5 exist

( forall 5 exist ( gt exist existforall

forall3forallcong amp 5 5 exist

forall5 existexistampcongforall

exist forall3forall 4 5 exist

5forall5 2existamp forallminuslt

ampamp5433forallforallexistforall33existexist

exist exist5

exist forall existminusΦlt 335 Χ335

5forallexistexistexistexistexist

existexist05exist=4

forall exist exist ampampexist forall

existforall2 forall

2exist=lt

exist forall3forall 5 existexist amp cong forall

forallexistforallexist5 existexist exist

5exist 2 existforall existforall 5 forall

5 2exist amp forallforallexist

ampexist forall2existforallexistforall

5 exist6 exist3

5 3exist5

Χ Χ 5 4 exist exist 5 existexist amp

exist 5 13 cong 5exist 13

exist exist Χ 4 exist exist

exist2exist existampexist forallexist5

Γ5 exist

5forallampamp forall35amp ampexistamp5

exist232exist 3exist ampforallexistexist33

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist existexistexistexist

5 exist exist exist 5 2 exist

forall5 forall exist forallexist5

exist ampexist forallexist

2exist5 13forallexistexistforallamp existexist

exist5 exist exist5 exist exist

5 2existexistexistexist exist

existexist existforallexist

25forall2exist4existexistexist6existforall

congexist5existforallamp exist

6forall(forallforall

ni0lt

Γ2 cong existexistexistexist5forall

9

02

exist 5 exist 2existexistexist

exist exist exist 5forallexist amp 5

existexistexistforall existforall5forallexist

forall forall5 exist

congamp exist exist5

existforall5existforall6

4 forall 0lt 6cong

5forallamp exist forall exist exist5

2existexistexist existexistexist

existforallexistforallexist5

355 forallcong

Αexistexistexistexistexist exist5 2exist

forall existexistforall078

exist5 13existexist

6 3exist 4existexistforallexistexistexist

exist forall existexist forall

exist forallexist forall exist forallexist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist existexist exist

95 exist 0forallexistexist exist (

93forallexistamp 3 amp amp 5

ampforallexistexist5 555

cong 2 5 existexist forall forallexist exist 2

5 existexistforall(0amp 5 forall

5 forall 5 gtexist0exist

4existexist2existamp 5

forall exist ampamp forallexist cong forall

35 existexist existampamp

exist55 existforallcongexist 5exist

ampamp 5 forallexistexistampcong2 exist

5 forall2existforallexist2existamp

gtexistamp 5 exist=0exist ampamp forallexistcong

existforallforall5 existexistamp exist exist 0exist

exist exist exist exist forall

existampexist forallforall5 existexistampcong=6forall

amp forall exist existexist amp 0 78 exist existexist

existforall6existexist existexist5 existamp exist

forallexistforall 5

0 Α exist exist 5 5 exist exist

forall 5 forall existexist amp cong existforall 5

existforall exist forallforall5 forallexistexistampcong

existforall exist exist forall exist forall 5

forallexistexistexist2existminusltexist2 5

95 amp 5 5 exist 5

exist5 forallexistexist 2

cong existexist forall forall lt exist 4

existexist existforall exist

existforallΓforallexist0existexistexistexist5 forall

forall Η5forallforallΑ2Α

forall2 ampamp 3 exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist52 ampamp 5 55Γ

forall52existexistexistexistforall2

4 forall exist forall cong

exist existforall 2Ιlt

forall222 forall existexist5

forallampamp 5 55 2 exist 5

ampampamp 535forall5 exist2exist forall (

85forall existforallexistexist25 exist

forall 5 forallexistexist 2

existexist5existforall4existexist2

forallexistforallexistexist2foralllt

0forallexistexistforallforallexistexistexist2existamp(82

existforallexist13existforallexistforall

42 existexist5forallcongexistexist

existexist exist 2existamp exist

exist existexist exist forall 2 6 forall forall exist

forallexist amp exist forall 5

existexistexistexistexistampexist2 exist2 exist

forall5

5 existexist existexistexist5 exist 2

2exist exist33 existexist33amp exist existexist

exist5 forall5 existexist existamp 5

existexistexist502 2exist5exist forallampexistampexist

5 forallamp 5 existforall

existexistexistforallforall

existexist5 5

13131313131313

forall exist existexist 5 =exist 3

= 6 exist forall forallexist5 exist 2exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist5 existexist 3Αexistexist

exist exist13 exist exist exist 3

exist5 existexistamp 13

6 132exist forall25 25

5 forall cong forall 3 Αexist exist exist

exist forall forallamp exist exist exist exist2 exist

forallexistexistforall

amp 13 Α 36 0 exist exist 5exist 5

exist 55ΑforallampΑamp 5 forall

exist exist 5 forallexist

existamp3existampforallforallforall5 forallexist exist+ existforall

exist53

0exist5 23035 forall3forall5 forallexist

5existampexist 13forallexist5existexistexist

forallexistexist exist

exist 3existforall550

exist exist 5 exist forallexist

5 forall5exist03existforallexist

078 =0forall =05078forallexist

ampforall5ampamp5lt

exist

4 forall exist lowast 4forall

13131313

5 2existforall55existexist

forall existexist 5exist 5 amp exist 9 5

forall5595forallforall existampforall

forall 0313 forall 5 existexistamp0exist

existΑ

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

5 0 exist exist existexist exist

= existexistexistexist5 existforallexistexistampcong

(= 4 Α 2exist5 exist forall

forall 5 exist50existexistexist5

lt6existexistexistforall existexistforallexist

existexist amp 4 0 forall forallexist 2

0303forallampexistampexist forallampexistampexist5

exist exist 2 03 exist exist

existforall

4 Χexist forall 5 5 exist

exist exist 5 535 5 exist 1

8existexistforall52 03

forall 4 exist existampforallexist 03

exist6forall53503

078exist 55 existexistforallcong

2exist5355 exist existampforallexistexist

exist5existexistexist2exist2forall078

8exist 5 exist cong exist existforall forall

forall5existexist5 3

03exist existforall5355

503exist

3Ε5existforallforall94535

existforallforall5forall

535 5 ampexistampforallampexistexist 535 5 exist exist

forall forallforall 5 5exist 0 5 03 5

exist exist13078=forall Χ5

2forall5 forallexistexistexistexistexistforall06

3 5 forallforallforall5 exist2exist5

existexistforallexist5 exist=3Εminus

exist4 forall5forall existampforall03

4 exist existforall03exist 135cong

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist forall exist exist 5 forall

forall 03exist exist 53503

5 exist existampforallexist513

exist forall5 5

forallexistforall forall

ϑampamp 5 exist Α 5 5exist amp 3amp 5

existexist25

Α565existexistexistforall3forall

3 exist5exist00

exist=0exist2Α36forall

cong22existexist5existexistexist

forall3forall 0 5 forall 5

exist amp forall amp exist 9 Α exist =0exist

forallforall5amp exist2

forallforall amp 5 exist exist= 5 Α exist

exist Α5 6 exist 6 forall

5 exist exist 2 Α 2 2 exist

forallamp 3amp existexistforallforall

exist9Αexistamp=lt5 forall exist

amp 5 exist exist 5 existexist

Ε5forallexistexist5 existexistexist5forall

exist exist amp 5 existexist5 forall =lt

lowast forall

forall

6existforall ampamp

=5 forallexistforall=5 forall5

existampΑ forall5 5

forallexistexistexist2forall9existforall

forall52forall2forall4

6 ampamp exist exist existexist

5existamp 5 existforall4

forall 5exist amp 5 existforall exist existexist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

existexist exist6forall

forall 5 =0exist forall 5 exist existexist 5

existexistexistexistexistexist

exist2existforall2existexist=lt

6exist5existexistexistcong2exist0782exist

2 1354 forall13existamp

5 existexist5exist2lt

forall exist=ni

13 exist existampforallexist 3 5 exist

forallexist3existexist 5 forall 13Ε

30 5

1313

6existforall135 existamp5356=5=

5 2 5 forall forallexist55 exist forall 0

5exist 5 forallexistamp5 existforall5

552forall5existforallexistforall25

6existforall 25

5 forallexistampforallforallforallforall existexist6

2existexistexistexistforall 5amp 5existexist

ampexist59exist forallexistexist existforall5 2

5

13 13 13

135352 forallexist=5 existexist existexist

existforall 0 78=

9exist5 amp 5 forallexistexist 5 existexist

2 exist 3 Ε existforall 0 78 6

exist exist existforall forallexistexist 5 2exist amp 5

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

existexistforallexistexist exist

exist3existexist ampexist 5 forall existexist 5

exist5existforallexistforallexistexistexist5forallexistexist

0forallexist5 existforall213existexistexistexist(82exist4

forallexistforallexist213existforall6existexist

5exist existforall5

exist0785 exist5

2existamp03congΑexistexistexistexist5

2 5 exist cong =forall5 2exist

5 existampexistexist5 ampexist=

forall forall

forall 5 amp5 =6forall

=

13 1313131313

05 2forall

nini0202 5

2 forall 5 exist5 5 2

5 2 existexist 5 2exist exist

existexistexist5 existexistexist

5 existexist5 ampexistexistlt

Α existforall 5 forall forall forallforall forall

exist5forall5 forallforallexistforall5 forall

6 exist 33 5 33 existexist forall 03

forall existampforall5132 forall existamp13exist

13Ε forall existamp13exist 3exist5 exist amp

5 2 13exist135exist2existampexist13

Α 5 forall forall

9 exist forall exist13exist forall exist13exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

existforall ampamp existforall exist5 exist

existforall ampamp 5 exist3 forall

forall 03 forall existampforall5 exist exist existexist exist amp

0135 existforallexistexist3

existampforallampexist

exist exist forallampforall forall 5 forall existamp

513 6513 existforallexistexist5 exist 2

=6forall= forall 5 gtexist

existforallexist=6forall=existexistforallexist52exist

existexistexist5 exist5 exist

2 5 2exist 5 6 exist forall

existexistforall forall forall2existexist existforall

5 existforallexistamp=6forall=exist5

existforall existexist 135 forallexistamp53

5= 5 3=5 existforall5

exist0342Ε5forall

exist2 5 forallexistampforall13Ε

13

9 forallexistforallexist5 exist

forallexist5existexistexistexistexist4existforall

5 exist(exist35

1313131313

existforall exist forall existforall

exist 5 exist forall forall

exist exist3exist ampexist cong5 exist exist

existforallexistexistforall5 forall5 existexist

amp 0 78 exist3exist exist =8exist forall 5 Κ exist

5existexistforallexistexistexistforallexistexistforallexistexist

forall5 Κ exist5exist= exist

forallexist5 forall5existexistforall5exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

existforallexist5exist5minusexist0

78 exist 0 13 =0forallexist exist forall5

305 5existexistexist 5

existΧexist0(=535minus

8exist 5 5 exist Χexist amp 0 78

exist 5 5 6 exist forall forallexist5

exist5 exist 078exist

existexistforall5existforallexist5exist

0 78 forall exist

55 forall2existamp 25exist

existforall0788existforall5 exist 3

0forall5 2forall 3 (2

3 forall forallexist 3 exist

existforallexistexistexistexist3 exist

5 existforall ampforallforallamp 3amp exist

5 existexist5exist

55 existampexistamp0313

0 78 =9exist 2exist amp 3amp 5 3 exist

0 2 exist forallexist 0 forall

95forallexist558 9Κexist

5 exist 9 0 forall 5

existforallexistexist=38Φminus

03 exist amp 3amp 5exist0

38 5 5 exist 6 forall 2

cong5=9exist2existamp 3amp 5

3 exist 0= forall 0 3

8exist=exist55existexist5forallforall

= cong 2 = forall ni

ni

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forallni

+

02

0 forall55exist 3

2 exist 2 5 6 4 exist

forall2existforall5existforall5existexist3

forallforall5forall5exist5 8

existexistforallforall5 existforallforallforall

existexistforall5 existexistforall5 existexistforall5 exist

3 forallexist3forallexist exist forall5 existforall

exist 6 5 exist3 5 exist exist exist

forallexist5 exist existforall5

exist345existexistforallexistexistforallexistexistexistforall3

45 5 existexist 8existamp forall5 forall5 exist

exist existforall 0 78 5 existexist

exist amp 5 existexist5 exist3exist

forallexist5 forallexistexist2exist 078

ampexistforall5 forallexistamp078

13131313131313

amp 5 2existexist3exist forall

exist existforall exist 5forallexist existexist

existexistforall50785forallexist

existforall existexistforallexist5 exist345existforallexist

13=6forallexistexistexist

6existforallexistexistforallexist6 6 2

=39Φ

exist9255exist9exist2

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist=+

forall(

lowastforall678forall)

lowast minus +

+02

9 exist

4existexist5forallexist existforall0

7813 = cong forallexist forall 5 exist existforall

82existexistexistexist2existforall5 forallexistexist

exist5forallexist34539ΛΜ

0 forall exist exist 6

5 forallexist5forallexist

55 existforall5 forallforall

forall5forall 5

existforallforallexist

forallexistexist exist exist existforall

congexist

131313131313

0 5 5existamp078forall5130

782 345 13 5 amp

2exist 13 amp exist 2exist

forall exist forallexistexist ∆ 0 =0

exist exist exist exist existexist =

3ΕminusΒgt 55=exist3existexist2exist

existexist existforall= 322 Μ gt

4 07 lowast forall

02

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

0 13 existexist exist amp 3amp

5 forallexistexist 132

9exist 5exist exist

forallexistexistexist3forallexistexistexist

5 2 amp4

existexist 5 5

amp5forall exist 134

exist3exist 5 8 2 = exist exist

5 exist exist exist 5 exist

exist 3 3 5 forall

exist=3013minusΒΜ

amp3amp035 forallforall 2 3Ε

=8exist2 Κ existexistexistforallexist5

Κ existexistexistforallamp 3amp 5 exist=

3ΕΛ

forallexist exist3 3

5existexistexist13 exist5

exist5existexist 53

132exist950

78 13 = 5 0 exist3exist 45

exist4amp 3amp 5 existexist4

forallexistforall ampexistforall5=30ΧΒΛ

exist5 forall 13=0forallexist

existforall4 9exist 4 9 Κ exist

forallexist39existforall4 exist 4

5 Κ exist 9 8forall2 9 9 0 exist

existexistexistforall49exist 49

Κ existexistexistexistexistforall4exist 4

5Κ exist98forall299=lt

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forall exist 5 exist exist exist

(9 exist5forallforall Η4exist5exist

amp 5 exist exist3existexistforall4

forallexist exist 5 existforallexistamp

0785 forallamp 5 exist

5 5existexistforall5

exist 2 5 exist3exist amp 5exist amp 5

Χ 5 exist forall exist 5

exist exist 2 5 forall amp 3amp

13amp5 exist =3exist=5

exist amp 5 exist 2 0 congexist amp 5

forall 13 Χ exist 13 exist

135

95existamp5 13 =78exist

existexist5 9 existexist55 exist existexist5 exist

existexist55 Ε55 = gtexist05existforallamp

exist5 amp=0forallexistexistΕ55(=5

existexist

7existforallexistexistamp5 13

existexistamp03(congexistamp

035=8existexistexistexist

existexistexistforallexistexistexist=3ΕΙminus

exist amp 5 =0 forallexist exist

5 forallexistforall existforallexistexist5 forallexist

existforallexistforallexistexistexistforallexistexist2existforall5

exist existexist 5 forall exist 2exist

existexist forallexist exist2existexist=lt

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

Γ forallexist5exist5existamp

exist 13amp3amp exist(

exist 5 forall 5 existforall amp =9 forall 0 exist

existexist (= 2 =6 exist exist = 0exist

exist5=0forallexist existexist exist

exist forall existforall exist existexist(= 2

=6exist 5existexist13ampforall5

forallforallexist amp=9exist5exist

amp5 exist5amp= forall2

0 2exist exist5exist

5= 5Ε existexist exist = 0

exist exist Κ existexist=

exist=0forallexist2existforall232exist

232exist exist13 forallamp =

=0existexistforallexistexist

existexist 2exist 4 9 forall 513

forall exist= forallexistforall=0exist

existexistforallexist=lt

amp forall existamp exist

exist5 5 exist 5exist

13 amp 5 5exist forall exist exist

existforallexist 13existamp5 5exist9 forall

2(

ϑampamp5 forall5 existamp amp Χ

55existforall13Χ2existexist5

00exist00exist5forall exist5 exist

exist existΧforall(

4 2exist exist 3 exist Χ 5

existexistforall5 55355

13 forall5existexist5 existexist (8exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist

existexist=13=forall2 exist==exist

2 existexistforall2 existforall8exist5

exist2 exist exist3existexistforall4

5 forall existΧ

7 exist cong exist 5exist 13313 Χ

5exist exist 13 existforall 4345 2 foralllt 5

forallexistamp4existexist 078forall5forall

forallΧ exist 2 4 forall5 forall

Γ forall0existexistexist

exist3existforallΧ5 4Χ

congexist(existforall52

existexistexist35

forall forallexist exist exist 3 5

2 forall3forall 5exist5 forall forall 5

existamp0786exist2

exist2existforall3forall

131313

0 existforall5 5existexist 13Ε1313

=forall exist exist forallexist exist forall exist

exist exist 5 = exist5

existforall exist exist amp 0 amp 5

exist=forallexistexistexistforall exist

forallexistforall 5exist5 exist=gtexist02forall

existforall3forall 0forallexistforall5

existforall 3 forall gtexistamp exist 5

exist existexist forall 5 5 exist 2exist

2exist existexistforallexist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

0forall forall forallamp forallexist

forall forallforallexist2

2existforall3forall

2exist35

5 existexistforall2 existamp 30Χ

930Χ 8existamp8forallexist55

05 exist5existexist5 exist

5 forall exist55 5

forallamp amp 5existexist amp 13Ε

Χ 13 exist existampforallampexist amp 3amp 5

5existexist13forall

2existexistforallexist3Αexist5

amp 5 exist13Ε existforall3

5existexistforall5=exist 5existforallexist

amp 5 exist exist exist 5 forallexist forall 5exist

2 exist forall forall exist

5existexistforallexist= 5existexist exist=

2 exist existforall 13 5exist = 5 exist

existamp =4 existforall exist exist exist

5 exist = 9 5 =0forall 5 exist

exist(=52=9exist5existexistforallforall

exist55forall 5exist5forall

existampforall0exist5

exist5forall5exist exist5existexist forallexist

exist5 existexistforallforall

exist 55 exist exist exist forall 0 5

exist 2exist existforall exist exist

5existexistexistforallexistexist exist

exist forall 2 exist forall forall 5 =9exist

existexist8existamp=36

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

5 exist forall 5 existforall 5

exist 5 exist exist forall 5

forallamp5 forallexist

exist 5 forall forall5 forall exist exist

forallexist5existexistexist 5

forall exist exist2 forall

forall

1313131313

5 5 2exist

exist forall5 exist existexist forall3forall

5 existexist 5existexist forall5

exist exist 3

forallexist55=2 5 3

= 5 exist exist+5

exist exist exist

exist+5 3 exist exist forall exist

3

exist 5 forall5existexistexist+

3 ampforallamp5exist5 forallexistexist

5 exist forall forall 5

5 5existforall exist

3 5 exist forall forall

exist existampexist ampamp 5 2 3 5

forall25exist2 3

exist

95amp amp13 5 exist exist forall exist

exist3amp13 0forallexist0

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forall36Χforallexist2(exist

exist 5exist 3

8 2 5 exist 3

exist exist 36Χ exist5 5

2 2Χ 2Χ forall

2Χexist 2

90existampforallampexist5ΕΕexist36Χexist

existamp3ampforall2Χ5 2 exist

forall2Χ5 existexist6exist

5existexist existforallforall5 5=

forall forall exist

8exist existampamp forall forall exist5lt

ampexist2

cong5forall exist3655 existampexist2 amp

Εforall exist5924539Ε

13Ε6forallexistexist13Εexistampforall135 forall exist

exist existexist exist forall exist

exist forall forall

exist 3 existforallexistexistforallexist3

exist forall forall 5

forallexist5 2exist5

5existexistforallexist3 exist

3 exist9existexistexist

exist = forall exist exist exist

existforallexistforall exist5existforallexist3exist

exist exist forall existexist forall forall 5 exist forall=

existforall2existforall5 2exist

exist exist 2 exist exist forall exist

forall exist 5forallexist

existexist exist3exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

1313131313

exist forall forall exist 5exist

exist25 existampexistamp

exist 5 2exist amp 4 6 5

exist exist 5exist5 65 exist

exist exist5gt0785 exist

2325exist59ltexist

=cong forallexistltexist

20 forall

forall existforall exist 5 forall

gt3220 3 exist amp5

ampexist exist2255

=5 6forallexist2365 existexist

=30minusΒΦ

exist existampexist exist exist

existforall existΧexist

forall2 2forall ampamp exist 3

ampamp forall 5existforall2existampforallampexist3existampforallampexistexist

3 ampamp existampforallampexist5existexist2

forall 5 525 3 ampamp

forallexist5 exist5exist

exist exist 3exist 5 forall

existforallexistexist13forall ampamp 5 exist078exist

=5 exist=9existforallexist

0 78 exist 5 9exist 5 exist

existampΑforallexist exist=existforall

exist existexist existexist Α exist

forallexist existforall exist 5 0 78 exist

forallexist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

gt existampforallampexist5 ampforallampamp135 5forallexist2

078 existexist345existexist existampforallampexist95

92 exist 5 exist existamp 0 78

existforall exist exist exist 345 exist 5

exist13existexist existexistforall exist

62existforallexistexistexist existexistforall

4forall existforallexist exist=exist5

5 exist Ε55

Ε5 exist5

exist=

exist 135 exist existforallexist3

5 exist exist 5 forall forallamp5existforall

ΧΕexistexistforall59existamp existforall

forall forall forall 5 13exist amp cong5 5 forall

forallampforallforall5 existexistamp5 amp

exist exist=existexistexistforallexistexist13amp

8exist=6 13amp ==exist

existexistexistforallamp exist=9existexist

913 0ΧΧΕ= 2 =0forall135exist5 0ΧΧΕ

amp 5 5 6Ε(=9exist5

5 0 78 forall forallΗ

exist5 exist=6 existamp 5

5 forallexist5 amp 5 forall exist

exist1 9forall existΗ=9exist413

Αexist 5 forall

existampforall exist 13forall

exist5 exist13exist

5 exist exist amp exist existexist 5

6 5 forallexist 5 Χ exist

exist existexist forallexist exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

existexist = 5 5 5

exist exist existamp 5

existexist 5 existexistΧ existforallexist existforallexist=

5 Χ exist3existforallexistΧ existexistamp

5 5existexistamp 5

exist existforall 3existforall existamp3existamp exist 2exist 0

exist 550existexistexist5

exist exist existΧ forall forallexist5 4 2exist 0

exist existexist50existexistΧ

existforallexist6existforallexistexist2existforall078

forallexistexist5exist2existexistexist078exist

0 783 5 exist 0 78 existexist

existexist345 forallexist 0 forall

existexist 0 78( exist existexist 2 2

5 existexistforall existexist

6exist existforall forall13 forall

existexistforallexist2 forallexist

5 exist 13 existforall 5 forall

forallamp13=existforallamp forall5exist5forallexistforall

5 amp 5 exist5= forall 5 5 existforall

5exist5=9 forall(=9exist existexistforallexist25

5

6forall5existexist5 existampamp (gtexist

existexist exist2existforallexistexist5existexist

exist13Α5forall2existexist

exist cong existexist05 exist

cong345existexistforallforallexist22existexist

existforallforall3 13

forallforall 13 existexistexist 2 exist

forall5existforallforall

13Ιltexistforallforall exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

1313 13 1313 13 13

1313

6exist existforallexist

5 forall2 exist exist

amp forall 5 amp 3 5

exist exist25existforallforallexist3forallexist5

forallexist 5 amp 3amp 2 5 exist forall5

exist forall 2 forall exist

5existforall2 ampexistampexist 5

forall existltampexistamp3ampexistamp5 forallexist

exist lt exist5 cong forall forall

exist 2existforallforallexistexistlt

exist forall 2

exist5 2 exist3existforallampexistampexist exist2

forall2 5exist exist existexistexist

forallexist5 exist forall exist forallexist

cong exist forall 5 existexist amp 0 6 5 exist exist

forallexistforallexist exist5forall forall 132 5

8exist22 forallforallexist2 Χexistforall

forall exist ampexistampexist3forallampexistampexist forall 2 existexist5 existforall

2 5exist forall5forall forallexist forall2

2 forallforall5forallexistforall5

ampexistforall exist 5

amp forallampamp exist5 Γ

forall 2exist exist existamp exist

exist=9 exist5 forallexistexistforall

existforall2(=0forall5 existexistexistexistexistforallamp (

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist existexist forall forall 2 exist exist

=forall exist=22exist exist = 3 =

Η forall 5 forall exist exist

5 (6 exist exist forall exist

forallforall5forall exist3existamp 3amp

5 exist exist amp forall exist forallamp

existampforallampexistforall 54exist5

existexist forall 5 exist

forall5 existexistamp4

Γforallexistexist= exist3forallexistexistforall

2(= existexistforall 5 + 5 2

amp 5 existforallexist

forallexist29exist2existexist existamp exist

33 forall exist forall 33 exist exist 2 exist

amp 3amp 2 exist6 amp 3amp 2

5

Η62555 forall

ampamp 3amp 2forall 9exist5 exist 5

amp4 35 existforallexist 6

4 forall 5 5 13 = exist amp

exist forallamp 4 exist forall amp 5

13 existforall0exist3existexistexist ampamp

amp 3amp 5exist=0ΛΜ

4amp 3amp 2existexist3

5 2exist amp 4 8 2 5 exist forallexist

2existexist3exist5forall

2 exist 5 3 ( 9exist exist =6 exist

5existexistforall5existexistexistexistexistforall0

exist3exist5=Χ31Φ

3amp 25 existforallexistexist3forallexistexistforallexist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

2 5 13 2 forall forallexist forall exist

forall exist existexist ( =6 exist amp 13 exist

forallexistexistexistexistexistexistexistexistforall078 exist

forallexist=existexistforallexist13 2

6existexistampampexist 2 forall5forallexistampforallexistexistforall

5 existamp078exist3exist345forall

345 5 exist 6 forall

existexist5 existexistexist5exist 135 13exist

amp078 5 existamp

= forallexist 5 exist 5 forall amp 5 exist 5exist

5existforall0 forall 2existexistexist exist

5 (=34minusΒ

5exist5 ampforallexist5exist3

exist4exist5 exist

existforall existforallforall5 2

131313131313

5exist existforallexist 5 ampforall

exist5 existamp2=3amp=

exist ampexist5exist4 5 5exist

amp exist 9 existforall 95 ampexist =gt forallexist

forallexistexistforall=gt =6exist

exist forallexist3exist 2 exist 2 exist

exist5existexistexist existexistforallexist

exist exist 5 exist exist exist exist =

forallexist exist3 03

9 forall exist exist( exist 3 forall

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

03(

85 exist 5 2 Ε

39Ε9exist1303gt9gtΓ09 exist

existexist 3 4existgt3Ε5

exist forall existforall 0 78 exist 2existexist existforall 2

5exist2exist 3∆=82exist

exist25 =3∆Λ

existexistexist existforallexistexistamp 3amp forall

exist 5 13 0 78 = 2 amp 3amp 5

Κ exist existexistexistforallexistexist2exist5 exist

existforall2exist5 =3∆Μ

forall existamp 3amp 5 exist 0 78amp 3amp

5 6 forall5 2 exist forall5 232

5=6 5 exist0

exist 5 4=

gtexist 232exist03forallexist exist2

5 232exist03 exist5exist

552forallexistexistexistforallampforallforallexistforallexist

07813=2 exist5forallamp 3amp 5 3

exist 5 2existforallexist=0minusΙΒ

95exist 5exist2 345

5 exist5 exist forall5 5exist

forall5 existexistexist5 existexistamp existampexistforall

3 exist5 5exist exist forall5

exist13 existforall exist 5 exist

exist3exist5existexistforall

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forall existforall exist exist

forallforallΧforallforall existexistexist

existexist existforallampexistforallforallampforallexistexist5 5exist

existforallexist

6 exist existforall exist

forall 5 2exist 6forallexistexist

=forallamp13amp = 6 exist 5

forall exist Γ forall exist exist (

cong exist exist exist exist exist

forallexistforallexistexist existexist2

forall existampforall existexistcong5exist

exist 5 existforallforallexistexist forall

exist forall =6 exist exist forallexist 3

exist2 exist2 exist exist5

existexistexist existexistforallexistexistexist 5 =

exist exist5 existexistexist

= amp= 0 exist exist =amp

exist=gtexistexist 2 existexistexistforall

forall exist forall 2 exist exist exist gtexist exist 2 5forallforall

forallforallforallexistforall25forallforallforallforall65existforall

exist5 forall(0forallexistamp 5 exist

existforall5existexist existexist(

6 forallamp 5 5

03(

cong 5 =forallexist5 exist exist ( 0forallexist

amp 4(= 2 =forall exist exist exist(=

existexist 5 exist 2exist = = exist amp 3amp

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

4( 6 exist 2exist forallamp3forallamp 5 =ampampexistamp3

ampampexistampforall1amp=existforallampampexistamp3forallampampexistampexistexistforallexist

0forall5 existexistexistexistexist2exist exist

exist2forallexist

exist existexist5 exist exist

2 4 forall existforall exist 0 exist existforall

forallexist0forallexistexist exist exist4forall

forallampexistforallexistforall exist(6 exist24

forall 2exist exist

2 forallampexistampexist3forallampexistampexist forallexist 5 forallexist

3 existforall existexistforall existforall

5 exist exist exist 4 forall

6forallexistexist=0existexistexist

5 5forallforall0exist

amp 5 forall forall5 exist2 amp 5

exist 5 exist exist5

exist forall forall 3 forall5 exist2 exist

5 exist amp forall exist 2 exist2 exist

exist 5 exist forall 5 amp 5

ampexistamp exist exist exist2 exist exist ampexistamp

exist 3 5 5 5

exist5 existexist exist

existampexist2 55 existexistampforallforallforall

5 exist=

05 forall exist forall exist 2

existexist5forallexist30forallexist

forallexist(0forallexistforallamp forall( amp exist

232 3 5 forall2exist ampexistampΗΗΗ

25exist=9existforall5ampexist52forall

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forallexist exist52existexistexistforall

5 exist 213existexist forall5 forall 2

existexist25forallforall5=

Ηforallforall2exist

existforallforall 5 existforallexistampcong

existexistexistampforall2forall3exist

8exist amp forall5 exist ampamp exist forall forall 25

existamp078cong

exist3forallexistforall exist exist existforallexist3forallexist

existampexist 6forallexistexistexist

exist existexist078 exist existforall

5

exist forallexist exist forall ( 6 5

forall 5exist forall∆078=

6forallexistexistexist 6existforallexistexistforallexist6

62 =39Φ

ϑ6exist

minuslt9exist5forall2

lt2forall forallforallexistexist5133

39exist 0334556amp 9exist

Μ3minusΦ

Φltcongexistforallexist 5 5existamp9

34928Χ forall5 existΓexist5

13 3 39Ε638 +8 minusminusminusΒ minus

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forall = forallexist forallexistforall

exist = forall5 exist exist5

existforallamp exist3exist5

lt5existamp08Χ92exist

3508ΧexistΓ39Ε

68 8minusminusminusΙ

Βlt 5existamp9 gt Γ exist5 34 cong5

=345393Α=

Λlt 5exist amp 92 3exist 39exist 2

forall50amp00 exist3

amp exist2 30 exist5

25Γexist39Ε638 8minusminusminusampΦΝ

Μlt 9 9 3Γexist 3 5 exist

535amp 13Ε13Χexist

forallexistforall 2 amp Χ

9exist13forallΜΝΙminusΦ9301exist5minusΙΜΒexist53

exist55exist3913Ε13Α535exist5

5 gt exist313536

exist2 exist5 5 45 5

forallexistforallexist55 existexist3

existampamp13existampforallamp5exist9cong5

congforall 239forall 1339exist

forall5existexistampexist exist exist3exist5 exist2

existexistforall5 52 existexistforall

existampforallexist exist exist existforall exist

forallexistexistamp5 exist3exist5forall5 existexistampforallforall3

ΕΕ existforall3existforall 535 2 exist

5existforallexist

lt053539132ΧminusΦΜ

Νlt913Ε505Γ5exist53

ΕΕ15355530minusminusminusamp

minusΙΦ

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

minusΙlt 5exist amp exist 9 0 92 Γ 3

9Ε68 8minusminusminusampΦ

minusminusltampamp 5 5existampexist908Χ

4 Α6 Γ39Ε638 38

minusminusΙ3minusΙΦampΦ

minusltΓ2 forallexist39exist03

3455 3Φ exist5 13 3 gt exist 5

forallforallexistamp5∆exist5Α+ ampforallexistforall

= 4 cong 5= forall 2 forall5 5

exist ampforallexist 5 3gt 385 13 345 5

forallexistexistamp9existΧ25exist2

exist5 3 9 913 3 exist exist

2existexistampamp05536exist

ampminusΝΝlt

minusΦlt05exist=4forallexistexistexist

exist forallexist=5existamp

existexist3822=325ΕΕ30congexist3

∆2

minuslt5existamp0ΧΧΕforall55forallamp

forall5 5exist 2Γ∆exist3822

=98congexist2=

minusΒlt 913Ε Α 0 5 exist5 3

ΕΕ535530minusminusΜΒampΦ

minusΛlt 5exist amp 9 8Χ 9exist 0 2

5exist5 exist5ΑΓ2 39Ε

68 8ΒΝ3ΒΝΝminusΦ

minusΜlt95existexist3550exist

55 5existexistforall5amp existcong

exist exist56congexistamp

=9exist exist=2=0existexist=cong

exist=Κ existforall= 5existexist

exist5existampamp 52 forall5existexist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

amp existexist forall exist 5exist5 Γ

6305=03850exist=

minusltexistΑexist 5 exist

exist exist cong exist exist forall

forall

minusΝlt5existamp6Χexist35Ε3

510exist=0existΑ exist 5

exist6exist5existforall5 forallexistexist2

=6existforallcong9existexist5=

Ιlt92exist=exist2Α

forall225existforall83forall

Α forall 2 5 9 forall exist existexist (

26existforallcongexistexistexistexistforall

existexist5= 5exist amp 0 ΧΧ 5 exist

existforallforall5forallforall5Γ39Ε63

8 8minusminusminusΦminus

minusltexistexistΑ013

exist forall exist 5 exist forall

Χ56exist3existexist135

existexist 013 existforall exist exist

forall exist forall 9Χ Α exist

exist5existexistforall exist565 exist existexistexist

4forall55 2 exist5 exist exist

existexistexist exist4forall

exist forall existexist 25 exist Α forall

existexist2 2 forall 5existamp0forallforall5

forall forall 5 2exist exist3exist 0 2

exist amp 0 13Χ 9 exist 0 8 8 13

8 13Γ9exist4exist5

133Φ

lt053539132ΧminusΦΛ

Φlt exist 2 5 1 8 5 forallexistamp0exist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

exist forallexist3503 existampforallexist54

0existampamp 1 078forall exist5

2 Α0exist

lt0535existΑexist5forall 5

55forall5 existexistexistampconggt exist

forall2forall0exist45 forallexist5exist

forall ampamp 9exist forall 5 exist forall

forall forall exist exist 5 forall

forallexistampamp Γ3minusminusΝΒ

Βlt 5exist amp exist exist 8 =∆

cong=13existforall5gt 5existamp9exist

exist39=5Γ5cong=

Λlt 05 exist=4 forall cong

2 exist amp 3amp exist exist exist

existexistforall2exist5exist

forallexist existforallamp 3amp existforall 24

existexistforall 5cong=0exist

forall 5 exist existexist 5 exist exist exist

existexistexistexist2existforall2exist

exist=913Ε13Γexist5535exist40ΦΛminus∆exist

Μlt0535existforallexist335exist0533

exist 5 2existexist forall exist

exist5congexistexistΕ5congforall

cong 2 2 forall forall exist

2existexistforallampexistexist exist

exist5congforallexist existforallexist existexist

2existΕ5 cong2exist exist exist

2existexistforall forall655

5 22existforallexist2exist

existexistexist5 135congexist

existexistexistforallexist5 existforall

2ampexistexistforallexistforall forallexist 5Γ

3minusminusΝ

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

lt5exist85exist55 5 3

ampamp 5 forallexistforallforall5

exist5 =Ε 39Ε 9exist13 0 3gt=

913ΜΙ5existexist

Νltforallexistexistexistamp535

exist5existforallforall forall

forall 35 existexistexist amp5exist

13 existampexist13 5 6 existexist

5 exist exist forall5 exist 5 forall exist3

exist5555 2existexistexist2

amp5 forall 5 exist

5forallexistexistampforallampexistforall3forall5 exist2exist

existforall exist exist2exist Γ 3 913

minusminus3minusminus

ΦΙlt forallexist 5 5existamp08Χ

gtforall2forall50Γ8136

existΦ

Φminuslt05355exist53Ν

Φlt5existampexist04 existforall5

exist=amp exist 29forall

amp exist 254cong

exist existexistexist 56

existexistexistexistexistexistexistexist=

cong534=333cong13Ε

ΦΦlt913Ε6025 ΕΕ

535530ΦminusΝΙΛminus

Φlt5existamp90Χ3ΧexistΜΙ

ΦΒlt8 13133exist amp3amp

5 5 existexist5∆3∆6ampforallamp2Χ

minusΦ3minus

ΦΛltforall01forallforall5 5existamp

00existamp8Χ6ΧΓ3

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

3=30Χ=

ΦΜltexistexistampampforall forall forall

forall 5 5existexist

exist6exist13forall2

forallforall2=3∆34exist=exist

39ΕΓΧexist553555

Φlt55existamp0exist092 0

80exist2 exist52amp0ΧΧΓ5

ΕΕ0535530minusΝΛ3minusΝΜΝΜ

ΦΝlt cong 2exist5 forall

forall 5 forall existexistexistforall

Ιlt exist613Α00ΧΧexist=0existexist 2exist

congexistforallforallexist62existexistexist

forallforall exist 5 exist exist exist forallexist exist

exist =

minuslt05existcong=0exist

forall forall amp 5 exist

forall 5= 5exist amp 0 3exist 3Ε

5 exist amp 3Ε 35 exist

forall forall 5 forallforall

forall5 exist 5 13

2exist forall2 exist5 02

cong582835ΝΦΛ39exist3

2existexistamp 29 95exist

minusΝΝΜ

ltgt8∆35055exist4

= exist 22 amp amp 5

exist 5forallexist5forallexistforall5 amp 3amp

5 existexistexist exist amp 3amp 5

existexistamp 3amp ampamp=Γ53539exist3

345133ΝΒ3Ν

Φlt5existΑcong=078existexist

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)

forallexistexist33933exist=8 0

2 forall5 5forall 2exist 5forall exist

exist= 5exist amp 8Χ 5

5existamp3exist exist2Γ3

3exist13 395 3813Ε 39Χ 13 3 Β

93cong

forallforallexistampniforallforall(ampforallamp)amplowastampexist)+)minus)