猜想：设n为任意正整数。然后a（n）存在，并且有无穷多个整数b>2n+1，使得基b中的[1,3，…，2n-1,2n+1]和[2n+1,2n-1，…，3,1]都是素数。此外，多项式S_n（x）=sum_{k=0}^n（2k+1）*x^{n-k}是模素数p<（n+1）（n+2）的不可约，并且有理数域上S_n（x）的伽罗瓦群同构于对称群S_n。
这个猜想可以通过用（2k+1）^m替换2k+1来扩展。例如，基b=241784中的[1^2,3^2,5^2，…，61^2,63^2]和[63^2,61^2，..，3^2,1^2]都是素数。
