theorem :: FLANG_3:65

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