theorem Th5: :: DIFF_1:5

for h, x being Real
for f being Function of REAL,REAL holds (cD (f,h)) . x = (f . (x + (h / 2))) - (f . (x - (h / 2)))