http://www.yozemi.ac.jp/nyushi/sokuho/recent/tokyo/zenki/index.html
この問題が分りません。
問5です
東大の今年の問題です理系です

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