ていうか、例えば18429844343530958391が素数であるかどうかを
確かめる公式がないっていう事実にびっくりなんですが(´・ω・`)