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

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

であると主張している。

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

(n,k),n≧2k≧8は決して累乗にならない

(n,2)は無限に多く平方数になりえる

(n,3)については(50,3)=50・49・48/6＝140^2が知られている唯一の例である

2(p-1)＞(2p-1)である

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