>>765

> >>764
> 定義が違います
> a=Π[k=1,r](pk^qk+…+1)
> b=Π[k=1,r]pk^qk
> pk(k=1…r)はpと異なる素数です

その定義でも「aは常にbの約数の和である」ことはわかりますよね？
素因数を具体的に書かなければ「bは奇数」になります。
pをa,bの後で決めていますが、先にしても特に問題はありません。
xがあなたの論文でいうところの「p_x^nB_1…B_x」ですね。