theorem :: FCONT_1:57

for a, b being Real st a > 0 holds
(AffineMap (a,b)) .: [.0,1.] = [.b,(a + b).]