>>54
>Aは方程式⑧の右辺の分母
>Bは方程式⑧の左辺の分母
>CはAとBの最大公約数です。

つまり、
A = p_k^q_k + ⋯ + 1
B = b_k
C = GCD(A, B) = GCD(p_k^q_k + ⋯ + 1, b_k)
ということですね？
以上で間違いなければ、「B=Cになることの証明」が論文の何ページの上から何行目に書かれているのか教えてください
あなたの主張が正しければ、恐らく私は何か見落としをしています