theorem :: AFINSQ_2:73

for D being set
for d being Element of D ^omega holds FlattenSeq <%d%> = d