for A, B being Sequence holds rng (A ^ B) = (rng A) \/ (rng B)