theorem Th15: :: AFINSQ_1:96

for D being set
for p being FinSequence of D holds rng p = rng (FS2XFS p)