>>327 追加
p≠4q+1というのはこの証明から導かれる条件なので、全てのpで成立するということには
なりません