theorem :: FLANG_3:51

for E being set
for A being Subset of (E ^omega) holds
( A + = {} iff A = {} )