>>154
「0y≠0⇒yが完全数でない」
が正しいのであれば、yは完全数になり得ないな