>>247
>全てのpで正しい⇒p=4q+1
>全てのpで正しい⇒p≠4q+1
>が成立します

成立しませんよ？
⇒の意味もういちど確認してください。
X⇒Y
は「Xをみたす任意のpはYを満たす。」
ですよ？
pが任意の素数 ⇒ p ≡ 1 (mod 4)
なんて言えるハズないでしょ？
高校のとき数Aで習ったハズです。
X ⇒ Y とは X をみたす p の集合がYを満たす p の集合に含まれるときです。
全ての素数の集合：2,3,5,7,11,13,17,19,23,……
p ≡ 1(mod 4)を満たさない p の集合：2,3,7,11,19,23,……
どっちが大きいですか？