LECTURE NOTES IN ANALYSIS (2011)
《LECTURE NOTES IN ANALYSIS (2011)》 · 第 77 页 · Section 2.4「Techniques of Numerical Calculation」，Example 8
If $2^{n-1}\equiv1\pmod n$, then we call $n$ a probable prime to the base $2$.