theorem Th84: :: AFINSQ_1:88

for p being XFinSequence
for e being object holds dom (Shift (<%e%>,(card p))) = {(card p)}