(. 9). ( SAB), . . , SAB, .
. 9.
, , . , . , . . : .
. , t 1 ( b ) , ( ). ( b b 2), ( 2). , t 2 b 1, c 1.
, . . , 2, (abc 2 d), t 3 . , a b b 2, c c 2 d. d.
(. 10) . , , SA ( B ) ( ), ( ) , g. , , SB ( A ) ( ), ( ) , g 1. SA ( B ) SB ( A ) .
. 10.
|
|
t 1 gk g 1 k 1. kgg 1 k 1 SA ( B ) SB ( A ). .
. ( b) SB ( A ) ( ). b , g 1. t 1 SA ( B ) g SB ( A ) g 1. gk g 1 k 1.
1. : b 1 b 3, SB ( A ) 1 3. 3 1, g 1 k 1. t 2, 1, SB ( A ) , , , SA ( B ), 1 , . . , gk. 1 k 1 k.
2. .