一般フィボナッチ数列についてです

nを0以上の整数とし、
f(n)を
f(0)=0,f(1)は任意の整数, a×f(n)+b×f(n+1)=f(n+2)
と定義する

pを素数とする
b^2+4aがmodpで平方非剰余のとき、f((p+1)m) (mは0以上の整数)がpの倍数に、
b^2+4aがmodpで平方剰余のとき、f((p-1)m) (mは0以上の整数)がpの倍数に、
b^2+4aがmodpで0のとき、f(pm) (mは0以上の整数)がpの倍数になる
と予想しました

証明反例教えてくれる方いたらお願いします