>>178
もともとの命題が
＞yが完全数⇒0y=0
だったから、yが完全数でないという結論はおかしいのではないかというだけ。