YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
-(+(x(),-(x()))) -> 0()
+(x(),-(x())) -> 0()
0() -> -(0())
CP(R):
-(0()) -> 0()