thus rng (AffineMap (a,b)) = REAL by FCONT_1:55; :: according to FUNCT_2:def 3 :: thesis: AffineMap (a,b) is one-to-one
thus AffineMap (a,b) is one-to-one by FCONT_1:50; :: thesis: verum