User blog comment:B1mb0w/Recursion and Summation Functions/@comment-35470197-20190325065908

In Rule s4, are \((c+1,x)\)'s typos of \((x,c+1)\)'s? I could not understand why \(C\), the Decremented one, should be replaced in that way. Why does \(x+1\) appear?