theorem Th9: :: FSM_3:9

for E being non empty set
for u being Element of E ^omega holds
( u in Lex E iff len u = 1 )