>>34
任意のkで成立しないとbがpk^qkで割り切られないので矛盾になります

>>35
2b=c(p^n+…+1)でcが可変なのですから、pは解が何個あってもいいのです