theorem :: FINSEQ_4:38

for p being FinSequence
for x being object st x in rng p holds
rng (p -| x) misses {x}