theorem Ab1: :: FUZNUM_1:3

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