theorem Th48: :: FCONT_1:48

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