theorem :: AFINSQ_1:97

for D being set
for p being XFinSequence of D holds rng p = rng (XFS2FS p)