theorem Th32: :: REWRITE2:32

for E being set
for S being semi-Thue-system of E
for s being Element of E ^omega holds s ==>* s,S by REWRITE1:12;