theorem Th49: :: FCONT_1:49

for a, b being Real holds (AffineMap (a,b)) . 1 = a + b