สถิติใหม่จำนวนเฉพาะที่ใหญ่ที่สุด? และสูตรที่ใช้ในการหา

[Kaprikorn]

ผมพึ่งค้นพบสูตรที่ใช้ในการหาจำนวนเฉพาะ ซึ่งไม่แน่ใจว่าได้มีใครคิดค้นได้ก่อนผมหรือเปล่านะครับ
โดยผมใช้สูตร (2^x - 1) mod x และแทนค่า x ด้วย 1,2,3,4,...
ถ้าผลลัพธ์ที่ได้มีค่าเท่ากับ 1 แสดงว่า 2^x - 1 นั้นเป็นจำนวนเฉพาะ เช่น
(2^3 - 1) mod 3 = 1 แสดงว่า 2^3 - 1 = 8 - 1 = 7 เป็นจำนวนเฉพาะ
(2^8 - 1) mod 8 = 7 แสดงว่า 2^8 - 1 = 256 - 1 = 255 ไม่เป็นจำนวนเฉพาะ

และผมอาจค้นพบจำนวนเฉพาะที่ใหญ่ที่สุด ซึ่งสถิติเก่าที่ค้นพบในปี 2018 คือ 2^82589933 - 1
ผมได้ลองใช้สูตรของผมและไล่เลขต่อจาก 825589933 ไปก็พบว่า
(2^82589939 - 1) mod 82589939 = 1
แสดงว่า 2^82589939 - 1ก็อาจเป็นจำนวนเฉพาะเช่นกัน

รบกวนทุกท่านช่วยพิสูจน์ให้ด้วยนะครับ