已知：p=11，d=3，存在完全平方数
(2^p+p^2 d^2-1) = 2048 + (11^2)(3^2) - 1 = 56^2

对任意奇素数p都存在显然解
d = (2^(p-1) - 1)/p
按照费马小定理, 这里的d是整数 (并且一定是奇数), 这时
2^p -1 = 2pd + 1
=>2^p - 1 + (pd)^2
= (pd+1)^2
.
求解：存在一个奇数d < (2^(p-1) - 1)/p，
使得(2^p+p^2 d^2-1)为完全平方数的条件（素数p的同余类型）？