theorem Th2: :: RANDOM_2:2

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