!" # $ % % & ! # " × × → → " $ → × $ → × % " × × & ! # ! ' ! ! '# ( ) $ ( $ " ) " * ) # # & (! % + # , 3 ( ( &./01$ 2 $ 2 ∀ ( ∈ & " ) " ∧ ) $ $ " " ) " " * ) # ∀ ( ∈ " " ) " " / ∧ ) $ $ " + " # ∀ ( ∈ 4 " + " 5 # $ # $ '$ # , ",) * × ) $ # ( ∀ ∈ ∃ ∈ " ) * ≡0 ∀ ∈ ∃ ∈ ) * ≡ . 5 $ ' $ −'- " − )1" ( 0 ≠1- 5 $ '− # $ '− ) 6 7 '≠, ( 3 ". $# 3 '− #($ # #) )#/% 8 $ '− ) " ( 0 " ) " $ ) & ∀ )#/%" % ( 5 ∈ .$ 1) ⇒ " + 1 ) " ) " " ) 4$ " ) " ) 1) ' $ 1) 4 # % # ≠ . ( 1" . ( ⇒ 9 # ≠ ' ))#/%0 % #2# # )#/% . ∧ ⇒ 9 9 $ %)# 0 % '# # ! 6 4 1 1 ) ) 5 ( 3$ $ ) )1" ) $9 - 9 ( # : ≠ ∧ ∧ ;⇒ ⇒ 9 # ≠ ' 9 9 / #%#)#/% )1 ! ( 3 ∀ ( ) − 0 % ! . ∈ − + − − $ )#/% . # ) 0 − ⇒ ( ( 4 ∀ ∈ ( $ −− % + − ∈ ) " : ⇒ − 1) − $ + + − ;+ )#/%" ∀ 5 − # 5 + 1 ) ⇒ 1)1 ) ' − % # − ): − ) ; #($ # #) )#/% $ ∈ $ ≠0 + ( : − ;) ) ≠1 #$ #) )#/%0 ⇒ 0$ ) ! − ;) " 1) "1) ( 7 .$ $# ( ⇒ ) − + ! + : 1 −− 1) )#/% . # ) 0 − # + 1 ( 6 ∀ − $ ! 1)1 )1 # ( : − " ;) ' − $ ( 5 ∀ ∈ 5 − ;" : 1 + − + )#/% . # ) 0 − − 1− 4$ ) ) ) ) ) ' $ ) 4 4 # % # ≠ ∧ . 9 # )#/% . ⇒ ≠ ' 9 9 ≠0$ #9# #/%0" % ( 8 .$ #2# # ( ⇒ %)# 0 % '# # ! 6 4 ( 3$ ) $ ) 5 ) ) ) $ 9 # : ≠ ∧ ∧ ;⇒ 9 # #%#)#/% 1 . #9# #/%0 % ! 8 9 ⇒ ≠ ' 9 9 ≠1 # −1 ( 3 . ( : ∀ ∈ −<0= ( ( $ −1 : ; : −1 5 ;) ) ' ! # # $ ⇒ ) , ∀ ∈ −<0= ( ! ! ≠1$ )#/% . # ) 0" 5 ( # ) 6 1 − ( 3 > " > ) 5 5 ! 3 " )− − − ≠1 ∧ ≠1 > 4 > ) > ( ! ) )1 ⇒ )1 ∨ )1 ( ( ! 0 ! ! $ ( > −1 $ + )#/% . # ) 0 ⇒ ! −1 + ≠1 ∧ ≠1 5 > > > ) > ≠1 ∧ ≠1 ∧ ≠1 0 # ; < = > ' ! ! $ 4 " 93 9 ) #? )#/% 5 & ! A ! B$ A 7 $ $ # @ 3 (9 4 & " & ! C B A2# 9 5 ! 3 & " BD $ & " $ ) % )#(# % . @201+ 1 9 @ 1 2@ 21 . @201 # $ # $ 9 9 C 9 & . @201 ). @20 . @20+ . @20 @. @202+ 0 + 1 @ 2@ 2@21 + ? 1 / " B' & A2# & 8 9 & " & " $ ! 4 @2 @ 2@22+ 1 . @2 @ 2@21 + @1 2@21 ? 2 ! 7 8 $ 9 9 5 $ ! # # % 1 ) + & / 4 . 0 ? . @201 2 1 D @ 1 2@ 21 8 9 8 8 ( % 5 . @201 + 1 ! C # ' @ 1 2@ 21 & . @203 ) 3 @3 1 2@3 21 @ 21 / . @204 ) 4 @4 3 2@6 1 21 @4 23 @24 3 C 9 ' ! # - F . @20% ) % @% %A 2@%.%A 0B1 """""@ %.%A 0.%A10B6 %A1 21 @%.%A 0.%A10B6 3 %A3 2 @ %.%A 0B1 1 %A1 2 , ' %A3 3 2 @""""@ @% 2%A @ 2% ! ! %* %.%A 0B1- %.%A 0.%A10B6 8 # 5 E 1 3 3 4 FF 6 ! 1 A21 C 4 # ! ! ! $ C 1 5 6 1 A2 ). A20. @20 9 1 . A20. @20+ . A20 @. A202+ A2 @ 2A22+ ) 7 8 4 1 1 A 2@ 2A21) A21 A24 ). A20. 3@ 12 @ 21@230 . A20. 3@ 5 A2 @ 2A21) 1 2 @ 21@230+. A20 3@. A20 12 @. A20 21@. A20 23) 3 ) , A2 3@ 1 2A2 12@ 21A2 21@ 23A223 + 4 A2 3@ 32A + 4 A24 1 1 2 @ 121A 23@ 23A24 ! 5 & HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH / HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH 4 HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH . HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH 3 6 2 A26 ). A20. 5@ 42 @ 321@ 123@ 24@250 $ $ ! C # . A20. 5@ 42 @ 321@ 123@ 24@250+ G A5 3 ! C # 8 A28 B A5 3 ! C # % 7 A27 A2%B " 7 % I : C A2%). A20. ( % ( % #% 2@ %A3 1 2 @""""" 1 %A3 2 @ 2%A1 @2%A 0 $ %)# @2%). @20. %A % A %A1 2@ #($ %A3 1 2 A""""" .% #($ 0 1 %A3 2 @ 2%A1 A2%A 0 ' ;#% (# ! C # C % % @% %A 2@%.%A 0B1 """""@ %.%A 0.%A10B6 " # %A1 @ A2: FFF 6 . @20% ) %A %)# $ %)# % .% A2%). A20. %A1 21 @%.%A 0.%A10B6 3 %A3 2 @ %.%A 0B1 % %D( %A @ %A1 2@ % % % 1 %A3 3 2 @""""@ 2%A1 @% 2%A @ 2% 0 %A3 1 2 @""""" 1 %A3 2 @ 2%A1 @2%A 0 % 1 " ( $ %)# % % #($ @2%). @20. % , A %A1 2@ % 4 @24 @24 #($ 0 %A3 1 % %D( FFF 7 4 %A .% 2 A""""" 1 %A3 % #($ ! 2 @ 2%A1 A2%A 0