!

"
# $ % % &

! "

# ×

× → × →

$ → " $ → ×
% " ×
×

&
! # !
' !
!

'# ( ) $

( $ " ) " * )
#

# % + , - ( ( &./01$ 2 $ 2
&
(! # 3
 ∀ ∈ " ) " ∧ )

( & $ $ " " ) " " * )

#

∀ ∈ " " ) " " ∧ )

( / $ $ " + "
#

∀ ∈ " + "

( 4 5 # $ # $
'$ , #
- $ ",) * × )
#

∀ ∈ ∃ ∈ " ) * ≡0

∀ ∈ ∃ ∈ ) * ≡

( . 5 '
$ $ −'-
" − )1"

( 0 5 ≠1-
$ # $ 3
'− '− )

6 7 8 $

'≠, 3 '− " '− )

( ". $# #($ # #) )#/% ( 0 " ) " $ )

&
 ( )#/%" % ∀ ∈ " + ⇒

5 .$ 1 4$ 1) ' $

1) ) " ) " " ) " ) " ) 1)

# 4

% #
≠
. ∧ ⇒ ⇒
9 # ≠ ' 9 9

( 1" . #2# # ))#/%0 % $ #

( )#/% . '# %)# 0 % !

6 4
1 ( 3$
1 ) $
) ) )1" )
5 $9 - 9 (
#
: ≠ ∧ ∧ ;⇒ ⇒
9 # ≠ ' 9 9

/
 #%#)#/% . 0 % ! ) −
)1 ! 1− −

( 3 ∀ ∈ − + −

( )#/% . # ) 0 − $ + − 5 ! #
− ⇒ ( $ : − ;" : − " ;) ' $ ) ⇒

( 4 ∀ ∈ −− +

( )#/% . # ) 0 − 1 ! # − 5
− 1 − $ −− +

( 5 ∀ ∈ 1)1 )1

% # 1 1) 1) ) ' 1 ) ⇒ 1)1

( 6 ∀ ∈ − + −

( )#/% . # ) 0 + − $ + − %
+ − ⇒ ! #
+ − + : − ;+ − ): ; − ) : − ;)
) " : − ;) " 1) "1)

( 7 .$ $# #($ # #) )#/% $ ( #$ #) )#/%0 ≠1

( )#/%" ∀ ∈ $ ≠0 + ⇒

5 0$ 4$ ) ' $

) ) ) ) ) ) )

4
 # 4

% #
≠
. ∧ ⇒ ⇒
9 # ≠ ' 9 9

( 8 .$ #2# # #9# #/%0" % ≠0$ #

( )#/% . '# %)# 0 % !

6 4
( 3$
) $
) ) ) )
5 $ 9 - 9 (
# : ≠ ∧ ∧ ;⇒ ⇒
9 # ≠ ' 9 9

#%#)#/% 1 . #9# #/%0 % ! # ≠1

−1
8 3

.
 −1
( : ∀ ∈ −<0= +

−1
( )#/% . # ) 0 $ + 5 ! # #

−1 −1
⇒ ( $ : ; : ;) ) ' $

) ⇒

( , ∀ ∈ −<0= ! !

( )#/% . # ) 0" 5 ≠1$ 0 ) 5 ! #

! !
# ) 5 3
! ! !
6 $

( )1 ⇒ )1 ∨ )1

( 1 − )− − −

( 3
> " > ) " > ≠1 ∧ ≠1

( 4
> > ) > ≠1 ∧ ≠1

( 5
> > > ) > ≠1 ∧ ≠1 ∧ ≠1

0
 ; < = >

'
! 9 ! $
&
! $ 93 ) #? )#/% 5 $ # 4 "
&
4 " @ 8
! A ! B$ A ! C B A2# 9 B'
3 (9 9

&
7 $ & " 5 ! $
& " 3 & " & "
&
& "
A2# BD ) % )#(# % $ 9

. @201+ 1
@ 1 2@ 21

. @201 # 9 9
$ C
# $ 9
& / 4 .
. @201 ). @20 . @20+ . @20 @. @202+ @2 @ 2@22+ 1
@2 @ 2@21 +
0 ?
1
+ @ 2@ 2@21 + 1
@1 2@21

?
2 ! 7 8
$ 9
9
5 $

% 1
! # # ) +
&
/
4
.
0
?
2 . @201
1
@ 1 2@ 21
D 8 9 8
8

( % 5 ! C # '

. @201 + 1
@ 1 2@ 21
& . @203 ) 3
@3 1
2@3 21 @ 21
/ . @204 ) 4
@4 3
2@6 1
21 @4 23 @24
3 9
C ' ! #
-

F . @20% ) %
@% %A
2@%.%A 0B1 %A1
21 @%.%A 0.%A10B6 %A3 3
2 @""""@
3 %A3 1 %A1
"""""@ %.%A 0.%A10B6 2 @ %.%A 0B1 2 @% 2%A @ 2%
, ! #
' ! %* %.%A 0B1- %.%A 0.%A10B6 8 5

E
 1
3 3
4 6 4

FF 6 ! C # ! $
1
A21 ! ! C
1 1
A2 ). A20. @20
5 9
1
. A20. @20+ . A20 @. A202+ A2 @ 2A22+ A2 @ 2A21) 1
A 2@ 2A21)
1
) A21
4
7 8 A24 ). A20. 3@ 12 @ 21@230
5 . A20. 3@ 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 1 1
2 @ 121A 23@ 23A24
4
+ A24
, !
5
& HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH
/ HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH
4 HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH
. HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH
3 -

6
A26 ). A20. 5@ 42 @ 321@ 123@ 24@250
2 $ $ ! C #
. A20. 5@ 42 @ 321@ 123@ 24@250+

G
 8
A5 3 ! C # A28 B 7
A27

%
A5 3 ! C # A2%B "

7
%
A2%). A20. %A
@ %A1
2@ %A3 1
2 @""""" 1 %A3
2 @ 2%A1 @2%A 0
:
I C A2:

FFF 6 ( $ %)# % #($ .% #($ 0

%
@2%). @20. %A
A %A1
2@ %A3 1
2 A""""" 1 %A3
2 @ 2%A1 A2%A 0

( % #% ' ! C #

;#% (# C %

. @20% ) %
@% %A
2@%.%A 0B1 %A1
21 @%.%A 0.%A10B6 %A3 3
2 @""""@
3 %A3 1
"""""@ %.%A 0.%A10B6 2 @ %.%A 0B1 2%A1 @% 2%A @ 2%

" # %)# $ %)# .% % %D( % 0

%
A2%). A20. %A
@ %A1
2@ %A3 1
2 @""""" 1 %A3
2 @ 2%A1 @2%A 0
% % %

1
 " ( $ %)# % #($ .% % #($ 0

%
@2%). @20. %A
A %A1
2@ %A3 1
2 A""""" 1 %A3
2 @ 2%A1 A2%A 0
% % %D( % #($

, FFF !

4
7 @24
4
@24