Dediginiz gibi k2n−1 formunda olmasi gerekir sayilarin ve burada 2253>(50253−5253) olmasi gerekir, ki degil. Lucas asallik testi daha uygun dusebilir bu soru icin hatta. Fakat ben cok etkili "efficient" goremedim. Cunku q−1'in tum asal carpanlarini iceren islemler yapmak gerekecek. Aslinda asal pek buyuk degil, q−1 carpanlari ise
{{2,1},{11,2},{23,2},{47,1},{139,1},{2531,1},{4093,1},{8779,1},{6866927,1},{549797184491917,1} ,
{34823500348877655362343206477378708307857041186406012214⋯,1}}
Yeterince fazla. Fakat en etkilisi ya da cok hizli bulabilecek bir algoritma var mi? m arttikca...