theorem Hope2a: :: FUZNUM_1:12

for b, c being Real st c - b > 0 holds
rng ((AffineMap ((- (1 / (c - b))),(c / (c - b)))) | [.b,c.]) = [.0,1.]