■(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)
===================================