フェルマーの小定理ａ^(p-1)−１はｐで割り切れるというものであるが、

　フェルマー商

　　（ａ^(p-1)−１）／ｐ

は整数値をとる．

ｎ＞1のとき、

2^n＝1　　(mod n)の解はない

ｎが素数、擬似素数なら

2^n＝2　　(mod n)は常に成立する

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

2^n＝3　　(mod n)

の最小解は、n=4700063497=19・47・5263229

である。2,3,7,17,31,41,43,73,・・・では割り切れない合成数である。

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