theorem :: DIFF_2:24

for h, a, b, x being Real holds (fD ((AffineMap (a,b)),h)) . x = a * h