>>50
言い訳っぽくなるが、pは4K+1の形の素数だから明らかにp≠3だと思ったから
あえて書かなかったんだ。