>>972
＞yが奇数の完全数⇒D(p^2-1)=0 は
＞「yが奇数の完全数」が偽のとき成立する命題である。
この部分の証明はどうなるのでしょうか？

>>973
D=0のときはD(p^2-1)=0がp≠4q+1のときにも真になるというのが間違っているのではないかと
書いています

>>974
全くこの内容ではない