theorem Th19: :: FINSEQ_5:19

for f being FinSequence
for i being Nat holds rng (f | i) c= rng f