>>961
>>962
両方理解しました。

しかし、yが奇数の完全数であるとき、pは不定だという命題は
p≠4q+1のときにも成立して、これは矛盾しています。
よって、D≠0でなければならないと考えられます。

反例が一つでもあると命題は成立しないのではないでしょうか？