theorem Th63: :: FINSEQ_3:65
for p being FinSequence
for A being set holds rng (p - A) = (rng p) \ A