theorem Th7: :: MMLQUER2:7

for f, g being Sequence holds rng (f ^ g) = (rng f) \/ (rng g)