theorem Th2: :: DIFF_3:2

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