theorem :: AFINSQ_2:74

for D being set holds FlattenSeq (<%> (D ^omega)) = <%> D