theorem :: FLANG_1:64

for E being set
for A being Subset of (E ^omega)
for n being Nat holds (A |^ n) * c= A * by Th42, Th60;