theorem :: FUNCT_4:18

for f, g being Function holds rng g c= rng (f +* g)