theorem Hope1: :: FUZNUM_1:10

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