>>533
D=0のときは全てのpに対して成り立つから不適になる。
の部分を変更しています。

>>534
そのようなことは書いていません。一つ前の内容は>>165です。

何度同じ内容を答えなければならないのですか？
せめてこのスレを全部読んでからレスをしてください。

>>535
p≡1 (mod 4)
の意味はpを4で割ると余りは1。

>>535
全てのpで成立するという解になったので、十分性を確認しているだけです。