18/09/28 10:56:45.89 VDVPrLrO.net
>>500
＞(3) D=0 とする。このとき
＞Dp = D ⇒ p ≡ 1 (mod 4) は成立しない。
＞よってp ≡ 1 (mod 4) は成立しない。
＞(3)は一瞬ドキッとしますがもちろん駄目。
ドキッとするのは、言及が厳密でないからです。
∀p:奇素数［p ≡ 1 (mod 4)］は成立しない。
は真ですが
∃p:奇素数［p ≡ 1 (mod 4)］は成立しない。
は偽です。
１はこの２つの区別を意図的に曖昧にしていますから、それに乗せられていてはいけません。