theorem :: DIFF_3:14

for n being Element of NAT
for h, r, x being Real
for f1, f2 being Function of REAL,REAL holds ((cdif ((f1 + (r (#) f2)),h)) . (n + 1)) . x = (((cdif (f1,h)) . (n + 1)) . x) + (r * (((cdif (f2,h)) . (n + 1)) . x))