>>148
「0y≠0⇒yが完全数でない」
対偶をとるとこうなりますから、正しいとはいえない命題だと思います。

論文を読んでいれば書かないような内容だと思いますが
式⑤はpのn+1次方程式です。