>23
p,q≧2 とし、a[k] = p^(q^k) とおくと、
 a[j]/a[i] -1 = p^(q^j - q^i) -1 = p^{(q^i)(q^(j-i)-1)} -1 = a[i]^(q^(j-i)-1) -1,
 指数は q^(j-i) -1 ≧ q-1 ≧1 だから a[i] -1 の倍数。
以下 >26 と同様。