theorem Th11: :: DIFF_3:11

for h being Real
for f being Function of REAL,REAL holds (bdif (f,h)) . 1 = bD (f,h)