theorem Hope4: :: FUZNUM_1:7

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