でもまあ結局53や47が素数なのかどうかは、また別に調べねばならんよ。

7で割れなきゃ大丈夫そうだがな。(2〜6で割れないのはほぼ自明だし)