Теорема 4.3.2.

a_i,b_i,c_iD_i 

a_ib_ic_i  d^*_i(a_i,b_i) d^*_i(a_i,c_i)

Доказательство:

Рассмотрим функцию f:→, построенную следующим образом

Очевидно, что f монотонно-возрастающая функция, и

Следовательно

#b_i-#a_i #c_i-#a_i  d^*_i(a_i,b_i) d^*_i(a_i,c_i)

q.e.d.