>>601
最初の質問に戻って

> a[n+2]=(整数)p+b[n+1]*(b[n]+1)
> という形になれば、b[n+2]がb[n+1]*(b[n]+1)をpで割った余りと一致する

なぜなら　b_(n+2)　は　a_(n+2)　をpで割った余りだから。

で終わり