theorem :: DIFF_2:26

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