theorem :: FLANG_2:85

for E being set
for A being Subset of (E ^omega) holds
( (A *) ? = A * & (A ?) * = A * )