theorem Th50: :: FCONT_1:50

for a, b being Real st a <> 0 holds
AffineMap (a,b) is one-to-one