これも結局全素数がクリアになればいいんかな?