. , . .2.12 , (D1 D2 D3).
, () . , X Y.
. . . .
() .
, . , , .2.16 , .2.17, a .
.2.16.
().
I (X). , X (I).
9. . .
, X. .2.19 , .
.2.19.
1 2 . X, . . E1 E2. , , -. X Y X.
, , , .
|
|
- ( .2.19). 1 X 1 X2 2, D.
. .2.19 , X Y . Y X , . X, Y X , X Y , . , Y X (X Y ), .