, . , , , E0, (. 7.1.), .
, (E = U). , , U = (UBX U ), . ( . .).
. 7.1. , .
, - (), . , .
(U < E) ' , . 7.2 . (. 7.2 ). U (U <> U) . , U > E. U . , U < E. , , , ( ).
. 7.2. () ().
, . (E1 < U < E2) , . 7.3. A . UBX > E2, . UB > 1, . . 7.3 2, . , 1 , 3 , , .
. 7.3. , .