. ε
. (2.22)
(2.16)
. (2.23)
,
(2.23)
: , (2.24)
: , (2.24)
: , (2.24)
, . (2.24) 2 .
,
(2.17)
(2.22)
. (2.25)
,
s, t u , (2.18)
. (2.26)
,
(2.26) :
: , (2.27)
: , (2.27)
: , (2.27)
. , .
U, P S , .