In the no-cycle-appear case, graph rewriting is sound for all term rewriting.

• 在无环出现的倩况下，图重写对一切项重写正确；