a_0 + a_1 + ... + a_n = a_(n+2) - 1 の検証を追加。