>>310
なるほど、よくわかりました
では
「y が完全数である場合
y = a(1 + p + p^2 + p^3 + … + p^n) - y (n > 0)

というのは、どうしてそうなるのでしょうか?
p は 完全数 y の素因数のうちの任意にとって大丈夫なのでしょうか?