>>957
D=0⇒p=4q+1
が成立しないということは、D=0のときにはp=4q+1にならない
ということではないのですか？
p≠4q+1のときには奇数の完全数が存在しないことになりますから
D=0は不適になると思います。

また、D=0のときには、p≠4q+1のときには奇数の完全数が存在しない
のにも関わらず、D(p^2-1)=0の論理値が真になりこれもおかしい
と思います。