>>791
ということは、pの値を色々変えてみるとyは完全数だったり、そうじゃなかったりするわけだ。

yが完全数ではないときに、完全数である条件を使った議論をするのはダメだよね。

別の言い方をすると、yがpの関数であると考えたときの定義域は、yが完全数であるときのpに限られているわけだ。
それ以外のpではyは定義されていないよ？

これって、分数の分母に0を突っ込んだときと同じ議論になるんじゃね？