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

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

であると主張している。

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