按复盘思考中的思路说两句。

1.d[i]的定义只能从i=4开始。因为d[3]=e[3]-e[2],而e[2]不是由递推公式定义出来的。要讨论的式子是

8 = （-2)^k*d[4]   

2. 但差=7时，解一，二的思路，还要补充 7 = d[4]以后的讨论才是严格的证明。

3.。唯一解只要差是奇数就行。不一定是素数。当差是奇数时，d[2000]=-7无解。