theorem :: DIFF_3:51

for h, k, x being Real
for f being Function of REAL,REAL st ( for x being Real holds f . x = k / (x ^2) ) & x <> 0 & x - h <> 0 holds
(bD (f,h)) . x = (((- k) * h) * ((2 * x) - h)) / (((x ^2) - (x * h)) ^2)