theorem Cb1: :: FUZNUM_1:4

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