>>327,328
>p≠4q+1というのはこの証明から導かれる条件なので
(B) から ∀q p ≠ 4q+1 の導出前回失敗してますよね？
導いてください。
(B) : 2,3,5,7,11,13,17,…
∀q p ≠ 4q+1：2,3,7,11,19,…
ですよ？