theorem Th48: :: FCONT_1:48
for a, b being Real holds (AffineMap (a,b)) . 0 = b