设Ｄ为正整数，ｐ为适合ｐ不等除Ｄ的奇素数，作者用Ｂａｋｅｒ有效方法证明了：若（Ｄ，ｐ）≠（（ｐ＾ｍ－ε／４ａ）＾２－ｐ＾ｍ，４ａ＾２＋ｍ，４ａ＾２＋ε），ε＝±１，且ｍａｘ（Ｄ，ｐ）≥１０＾３２，则方程ｘ＾２－Ｄ＝ｐ＾ｎ至多有三组正整数解（ｘ，ｎ）。......