>>37
(p_k^q_k + ⋯ + 1) の話でしょうか（説明のため、この式を便宜上 A_k とします）
d_k が整数であるということは、 A_k = p_k^q_k + ⋯ + 1 が b_k で割り切れることを意味します
それはすなわち、 A_k は p_k^q_k を除く全ての p_j^q_j ( j = 1, 2, … , r, j ≠ k ) で割り切れるということです
このことは論文の論証では証明されていません