あるbが存在して、じゃないか？
bとしてa-1を取ればいいよね。