>>473
>>477の内容は間違いでした。
>D=0 のとき
>「D(p^2-1)=0 ⇒ p=4q+1 は成立しない。」
これを書くつもりでした。当省略して書いた内容です。

>>474
そうですね。しかしながら、p≠4q+1では奇数の完全数は存在しないのです。
このときに、D=0で
D(p^2-1)=0の論理値が真になるのです。これがD=0が不適な理由です。

>>475
分かるに決まっているだろ、省略しただけなんだから。

>>478
否定はしませんね。

>>479
そんなことは初めから分かっている。