>>661
確かに書いてあるが、同時にn≡1 (mod 4)も書いてあるよな？

>>614
>>619
pの値の制限も方程式の性質に関係ないのでは？

nの制限は排除してn=0の場合を扱っておきながら、
pの制限は不要にも関わらず取り入れる、その理由（必然性）がわかりません。