theorem Th6: :: FLANG_1:6

for E being set
for x being object st <%x%> is Element of E ^omega holds
x in E