theorem Th2: :: BALLOT_1:2

for D being non empty set
for d being XFinSequence of D holds rng d = rng (XFS2FS d) by AFINSQ_1:97;