ｐが素数ならば

Ｌp=1 (mod p)

が成り立つ。しかし、この逆

Ｌn=1 (mod n)ならばnは素数であるは正しくない（フィボナッチ擬素数）。

たとえば、

　Ｌ2465=1 (mod 2465)

であるが、2465=5・17・29

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

A=[0,1]

[1,1]とすると,|A^n|=(-1)^n

[Ln ]=[0,1][L0]

[Ln+1] [1,1][L1]

[L2464]=A^2464[2]

[L2465] [1]

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

[L2464]=A^2464[2] (mod 2465)

[L2465] [1]

を評価したいのであるが、

2464=2^5+2^7+2^8+2^11

これらを掛け合わせると

A^72464=[117,783] (mod2465)

=[783,900]

したがって、

[L2464]=A^2464[2]=[1017]={1017} (mod 2465)

[L2465] [1] {2466] [ 1]

より、

　Ｌ2465=L1=1 (mod 2465)

　Ｌ2464=1017 (mod 2465)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝