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