theorem Th50: :: FINSEQ_1:50

for p being FinSubsequence holds rng (Sgm (dom p)) = dom p by Def13;