theorem :: FLANG_1:74

for E being set holds (Lex E) * = E ^omega