theorem :: DIFF_4:32

for h, x being Real st x > 0 & x - h > 0 holds
(bD (ln,h)) . x = ln . (1 + (h / (x - h)))