5.
,
(5.1) , ( , (5.1)), .
, , [a;b], , .
(5.1) .
, (5.1) .
(5.1)
(5.2)
.
(5.1) . . , (5.1):
(5.3)
(5.3) x: C=C (x). , (5.3) (5.1).
5.1. (5.4)
, : , : (5.5)
(5.5) , . C=C (x) , (5.4), ..
(5.6)
. (5.6) (5.5),
, .
5.2.
. (5.7)
(5.8)
, , (5.8) (5.7),
(5.9)
(5.9) (5.8),
,
:
(5.10)
(5.11)
(5.12)
(5.13)
(5.10) ,
(5.11)
(5.12) . , ).
5.3.
, (5.14)
(5.15)
(5.16)
|
|
(5.15) (5.16) (5.14),
,
,
(5.13) . . (5.13) , (5.13), .
5.4. (5.17)
, (5.18)
- , , (5.18) (5.17), , ..
b=0, , ..
, ,
(5.19)
(5.19) (5.17),
. , : (5.20)
(5.20), , (5.20) (5.14), (5.17)