素数が有限しかなかったとしたら何か問題でも?