>>759

> 始めR≠1の部分ではpですけれど

このときに対応する「完全数ではないp^n b」に対して「bの素因数にpを含まない」のはよいのです。

「最終的にR = 1になるとすると」に対応する
「完全数であるp_x^n b B1 … Bx」に対して、
p_x^n, b, B1, … , Bxで素因数が重複しなければ問題はないのでは？
B1 … Bxの素因数に含まれてはいけないのは「p_x, bの素因数」であり、ここにpは含まれていません。