theorem :: DIFF_4:31

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