theorem Hope3: :: FUZNUM_1:6

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