>>158
「0y≠0⇒yが完全数でない」は正しく、しかも、yは完全数になり得る

「0y≠0⇒yが完全数でない」という命題から「yは完全数になり得ない」と
断言できるのであれば、そのことを証明してみろ