YES

---- CR(R)
---- Hot decreasingness.
R:
f(f(a())) -> f(f(f(a())))
f(f(a())) -> f(a())

C:
f(f(a())) -> f(a())

Label:
[f(f(a())) -> f(f(f(a())))] = 0