theorem :: DIFF_4:42

for h, x being Real
for f being Function of REAL,REAL holds (bD (f,h)) . x = (f . x) - ((Shift (f,(- h))) . x)