theorem :: FINSEQ_1:101

for q being FinSubsequence holds rng q = rng (Seq q)