, .
:
1) ;
2) , ;
3) , . :
, , .
, . , .
, , , , , , . , , . , : ; ; ; ; ..
. , , , , d, 2, 3, 5 4 . : , b d (. 14.1). , , , Td , Tf . , 0.
. 14.1. , , , a
, .
: , , , Td, Tf.
: - .
:
+ 2 < . , 2 , ;
+2 < ;
+ 3 _< Td. d;
+ 5 . Tf;
Td + 4 _< Tf. d Tf. : Tf.
, . :
=
-
2 <, <
Td = 5 Tf - 9
, , 2 4.
302 II. Prolog