theorem Th55: :: FCONT_1:55

for a, b being Real st a <> 0 holds
rng (AffineMap (a,b)) = REAL