f(x)=x^2+px+q（p,qは自然数の定数）に対して
a1=1, a(n+1)=f(an)
で定義される数列｛An｝がある。

(1)Anを3で割った余りをBn（bn=0,1,2）とする。b（n+1）-f（bn）は3の倍数であることを示せ。
(2)1≦p≦3m,　1≦q≦3m（mは自然数）とする。このとき｛An｝のすべての項が
3で割り切れないような（p,q）の組の数をmで示せ。

いろいろ計算してみましたが分かりません・・・お願いします