>>181
p=4q+1かつp≠4q+1が示されればそれで終わりですね
後者は論文のどこにありますか?