MAYBE

Problem:
 c(§(),c(n,c(0(),L))) -> c(§(),c(S(n),L))
 c(§(),c(0(),c(S(m),L))) -> c(§(),c(S(0()),c(m,L)))
 c(§(),c(S(n),c(S(m),L))) -> c(§(),c(n,c(S(m),c(m,L))))

Proof:
 Open