>>295
一致しないケースが思いつかないのですが・・・

定義から、n=1の場合、当然
a_1 = a_1 + 0
で恒等式ではないですか？