theorem Th28: :: FUZZY_7:13

for a, b, r being Real holds r (#) (AffineMap (a,b)) = AffineMap ((r * a),(r * b))