まだちょっと分からない、a(n)はcでもf()でも何でも置き換えていいのに
a(n+1)で置き換える時はn+1を含む式で置き換えないといけないんですか？

a(n)+α→t
a(n+1)+α→s
ではダメなんでしょうか？