( ), , b ( 3.18), , , ..
,
Qb Qa a b.
. a, b , abc. abc, , a, b .
3.18. () () |
a b , a b , .. abc. , .. abc a, b c :
; ; .
, , . .
. ( 3.19).
3.19. : - ; - |
, , , .
, , ( 3.20).
3.20. , 3.19, ; |
, (. 3.20, ). E - (A + B + C). e1E; e2E e3E (A + B), (B + C) (C + A).
AE, BE, CE A, B C. , . ( ).
|
|
, ( 3.21, ).
(A + B + AmBn) (C + A + AmBn). 3 , 3 , , .
( 3.21, ) . ( ).
3.21. : - ; - |
E (a + b + g), e1E; e2E; e3E . , a, b g.
, , :
() , , ;
() , , , . , , , . .