ウォルステンホルムの定理は、ｐが3より大きい素数ならば

　　（２ｐ−１，ｐ−１）＝１　　　（ｍｏｄ　ｐ^3）

であると主張している。

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

フェルマーの定理から、もしｐが素数ならば、ｐは

1^(p-1)+2^(p-1)+・・・+(p-1)^(p-1)+1

を整除する

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