>>67
いいえ
その論法で d_k が整数であることを証明することはできません
論理式で書くならば、あなたは
R⇒S
を証明したかもしれませんが、肝心のRが真であることは証明されていません
ここで、
R: pk^qk+…+1=dkpk^qkが成立
S: ck=n/dkとなる
です