俺も部分的に解決できたわ
・y=3のとき: 約数の総和は4だからyは完全数でない。

あとはy≠3の場合を示せれば証明終了
残りの場合分けは1種類だから>>1より優れてるぞ