theorem Th59: :: FINSEQ_3:61

for p being FinSequence
for A being set st len (p - A) = len p holds
A misses rng p