theorem Cb2: :: FUZNUM_1:5
for b, c being Real holds (AffineMap ((- (1 / (c - b))),(c / (c - b)))) . c = 0