18/09/25 16:19:36.09 TMFUwKYX.net
∃D Dp^2 -D = 0…(＊) と ∃q p=4q+1…(＃)
が矛盾しない事、つまり
∃D Dp^2 -D = 0 ⇒ ∀q p ≠ 4q+1
が証明できっこないなんてセンター数学のレベルやん。
ただし∀と∃の意味がちゃんとわかってればだけど。
18/09/25 16:19:36.09 TMFUwKYX.net
∃D Dp^2 -D = 0…(＊) と ∃q p=4q+1…(＃)
が矛盾しない事、つまり
∃D Dp^2 -D = 0 ⇒ ∀q p ≠ 4q+1
が証明できっこないなんてセンター数学のレベルやん。
ただし∀と∃の意味がちゃんとわかってればだけど。