, , :
;
;
.
. 7.3. (. 6.2.2) (, ) , : TR1 ¾ , TR2 ¾ TR3 ¾ . , .
. 7.3. ,
, (TR1) (). , , . (Q1), TR1 . (p1) . 7.3 .
(TR2) , . . . ¾ ¾ . . , Q2 (p2). . , Q2 , .
, ( TR3) . , . , (p3).
.
Q1 Q2 , . .
, , ¾ .
, (AVC1 < AFC1). : , , , . ( ): . : , , , ? ? , .
(AVC2 > AFC2). . ¾ ( . .). , .