フィボナッチ数列をF_(n), p(p≠2,5)を素数とするとき
  
F_(p-1)=0 (mod p) , p=±1(mod5)
F_(p+1)=0 (mod p) , p=±2(mod5) 

となることを証明せよ。