>>447
それは>>427にも書いたが、>>290の主張に反すると思うがどうだろう？
b_kが場合わけされてようがされてなかろうが、
n=1なら、Σ[k = 1〜n-1]b_k=0ではないの？　君の主張は。