theorem Th7: :: FUNCT_6:7

for x being object
for f, g being Function st x in dom f & g = f . x holds
( rng g c= rng (uncurry f) & rng g c= rng (uncurry' f) )