>>315
0p=0⇒p=4q+1じゃなかったら何が問題だ、と聞いたんだが?
それを言ってもp=4q+1は否定されない