theorem Th1: :: DIFF_3:1

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