∃D Dp^2 -D = 0…(＊)　と　∃q p=4q+1…(＃)
が矛盾しない事、つまり

∃D Dp^2 -D = 0 ⇒ ∀q p ≠ 4q+1

が証明できっこないなんてセンター数学のレベルやん。
ただし∀と∃の意味がちゃんとわかってればだけど。