theorem Th22: :: DIFF_3:22

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