theorem Th38: :: FSM_3:38

for E being non empty set
for A being non empty automaton over (Lex E) \/ {(<%> E)} holds Lang A = Lang (_bool A)