惜しいね
＞xは偶数となるからxをp^nで割ることはできない。
偶数を奇素数で割り切れても不合理ではない
＞pk^(qk+1)-1がpで割り切れるためにはフェルマーの小定理から
＞sを非負整数としてqk+1=s(p-1)となることが必要
フェルマーの小定理が言っているのは必要条件ではなくて十分条件
つまりqk+1がp-1の倍数でないときにpk^(qk+1)-1がpで割り切れても不合理ではない