for x being Real holds (AffineMap (0,0)) . x <> 1