theorem :: FUZNUM_1:14

for b being Real holds (AffineMap (0,1)) . b = 1