そもそもn=0の話を持ち出すこと自体がおかしい。
yが奇数の完全数であると仮定すると、根基の指数のうちのひとつだけが奇数であることが必要で、
それをnとしたんだから。

必要条件のもとで必要要件をやぶる仮定を立てて、矛盾するので証明できましたはおかしいだろ。