theorem Th19: :: DIFF_1:19

for h being Real
for f being Function of REAL,REAL
for n being Nat holds (cdif (f,h)) . n is Function of REAL,REAL