theorem Th16: :: DIFF_3:16

for h being Real
for f being Function of REAL,REAL holds (cdif (f,h)) . 1 = cD (f,h)