■(2^8910−1)は素数であるか?

8911=7・19・67はカーマイケル数で,底を2〜aに取り替えても一切反応しません.

(証明)

 a^6=1 (mod7)

 a^18=1 (mod19)

 a^66=1 (mod67)

より,

 a^8910=(a^6)^1485=1 (mod7)

 a^8910=(a^18)^495=1 (mod19)

 a^8910=(a^66)^135=1 (mod67)

 つまり

  a^8910=1 (mod8911)

===================================