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