for f being Function of R^1,R^1
for a, b being Real st a <> 0 & f = AffineMap (a,b) holds
f is being_homeomorphism