YES

---- CR(R)
---- Hot decreasingness.
R:
H(H(x)) -> K(x)
H(K(x)) -> K(H(x))

C:
H(H(x)) -> K(x)
H(K(x)) -> K(H(x))

Label: