theorem Th49: :: REWRITE2:49

for E being set
for S being semi-Thue-system of E
for w being Element of E ^omega holds Lang (w,S) = Lang (w,(S \/ (id (E ^omega))))