for A, B, C, D being Real st A > 0 & C > 0 holds
AffineMap (A,B,C,D) is one-to-one