當一個素數p被5除後的餘數是1或4時，則F(p-1)能被p整除。

證明：

F(n)=[((1+sqrt(5)/2)^n - ((1-sqrt(5)/2)^n]/sqrt(5)

先假設p是奇數。

F(p-1)=F(p+1)-F(p)            (1)

F(p+1)的展開式是

F(p+1)=[(p+1,1) +(p+1,3)5+...+(p+1, p)5^((p-1)/2)]/2^p             (2)

F(p+1) (mod p) = (p+1)[1+5^((p-1)/2)]/2^p       (3)

F(p)的展開式是

F(p)=2[(p,1) +(p,3)5+...+(5^((p-1)/2)]/2^p             (4)

F(p) (mod p) = 2[5^((p-1)/2)]/2^p       (5)

[F(p+1) - F(p)] (mod p) =

 ((p+1) + (p+1)[5^((p-1)/2)] - 2[5^((p-1)/2)])/2^p (mod p)=

(1 - 5^((p-1)/2))/2^p (mod p)                           (6)

最後歸結成

5^((p-1)/2) (mod p) 是否=1的問題。

由二次互反定律，

5^((p-1)/2) (mod p) = p^2 (mod 5)          (7)

如果p被5除後的餘數是1, 把p=5k+1代入上式得

p^2 (mod 5) = 1^2 (mod 5) = 1。

這樣（6)=0。F(p-1) 能被p整除。

如果p被5除後的餘數是4時，把p=5k+4代入(7)得 

p^2 (mod 5) = 4^2 (mod 5) = 1。

也就是說，如果p被5除後的餘數是4時，F(p-1)也被p整除。