theorem :: FUZNUM_1:8

for a being Real holds rng (AffineMap (0,a)) = {a}