素数の割り出し式が見つかったら逆をすればできるんじゃ?