↑訂正

(**)で、for∀i≧2 ではなく for∀i≧0
A_[i+1]+B_i=0 (for∀i≧2)の箇所はfor∀i≧1