小さい素数から順々に総当たりで調べればいいんじゃないの