theorem :: AFINSQ_2:76

for D being set
for p, q being Element of D ^omega holds FlattenSeq <%p,q%> = p ^ q