p_0=3, p_1=0, p_2=2, p_n=p_(n-2)+p_(n-3) (n≧3)
によって定まる数列p_nにおいて、任意の素数qに対してp_qがqの倍数となることを証明せよ