theorem Andr1a: :: FUZNUM_1:9

for a being Real
for C being non empty Subset of REAL holds rng ((AffineMap (0,a)) | C) = {a}