■(2^2820−1)は素数であるか? (その1)

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

(証明)

 a^6=1 (mod7)

 a^12=1 (mod13)

 a^30=1 (mod31)

より,

 a^2820=(a^6)^470=1 (mod7)

 a^2820=(a^12)^235=1 (mod13)

 a^2820=(a^30)^94=1 (mod31)

 つまり

  a^2820=1 (mod2821)

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