6.28/2.54	YES
6.28/2.54	
6.28/2.54	Proof:
6.28/2.54	This system is confluent.
6.28/2.54	By \cite{GNG13}, Theorem 9.
6.28/2.54	This system is of type 3 or smaller.
6.28/2.54	This system is deterministic.
6.28/2.54	This system is weakly left-linear.
6.28/2.54	System R transformed to optimized U(R).
6.28/2.54	This system is orthogonal.
6.28/2.54	
7.31/2.98	EOF