感觉自己有些神经了，他走在路上的时候，都不断念叨着语言逻辑问题。

“下一个大质数是什么数字？一个个验证，验证到X是质数，问题解决。”

“验证X是解决问题的最快途径，也就是过程P。如果X是已知的质数，也就是在验证过程中，可以去推导在X和原点数字之间，是否存在其他大质数，但验证次数就会是有限集合，而不是无限的多项式……”

“把问题加上‘平方号’会是什么？”

“大