theorem :: FCONT_1:56

for a, b being Real st a <> 0 holds
(AffineMap (a,b)) " = AffineMap ((a "),(- (b / a)))