p>q のとき
a∣2 より a=2 が従う.このとき
2n−q−1=ap+q−1−2p−2q−1+2p−q−1+1
なので q=1 または p=q+1 が必要である.q=1 のとき n=p であり,p=q+1,q=1 のときは q,q+1 が n を割り切るので
2q(q+1)−1≤2n−1=(2q+1−1)(2q−1)2≤23q+1−1
より q(q+1)≤3q+1 より q=2,p=3 が必要であるがこのとき条件を満たす n は存在しない.
p=q のとき
an−p=a2p−3ap+3
より n=p ならば ap=2 より (a,n,p,q,r)=(2,1,1,1,1) である.n>p ならば a=3 であり,3n−p−1=32p−1−3p+1 となる.3n−p−1−1 は 3p で割り切れるので n=p+1=2 が成り立つ.すなわち (a,n,p,q,r)=(3,2,1,1,1) である.