>>497
失礼しました。

D=0 ⇒ ¬ ∀p((Dp = p) ⇒ p ≡ 1 (mod 4))…(X)

D=0 ⇒ ¬ p ≡ 1 (mod 4)…(Y)

ですね。
(X)はD=0のとき真ですが、(Y)はそうではありません。
それを彼は

>D=0の場合はこの問題の結果ですから、そのときに
>p=4q+1 は成立しない

とD=0のときは(X)が恒真なので(Y)も真、つまり p≡1 (mod 4) は成立しないが p ≡ 1 (mod 4)は証明しているので矛盾。∴ D=0ではない。
と言いたいようです。
しかし実際には(X)と(Y)は別物でD=0のとき∀p((Dp = p) ⇒ p ≡ 1 (mod 4))が成立しないからといってp ≡ 1 (mod 4)が成立しないわけではありません。