theorem :: FUZNUM_1:14
for b being Real holds (AffineMap (0,1)) . b = 1