theorem Th22: :: REWRITE2:22

for E being set
for S being semi-Thue-system of E holds S c= ==>.-relation S