theorem Th14: :: DIFF_1:14

for n being Nat
for h, r, x being Real
for f being Function of REAL,REAL holds ((bdif ((r (#) f),h)) . (n + 1)) . x = r * (((bdif (f,h)) . (n + 1)) . x)