theorem Th60: :: FLANG_3:60

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