theorem :: DIFF_4:33

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