すみません間違えました。

a[1]=4 ,a[n+1]=3a[n]^2-10a[n]+17 （n=1,2,3…）で定義される数列がある。
a[n]-4が７で割り切れることを数学的帰納法を使い証明せよ。