＞A ⇒ B　　　　　　 とは　 “Aの範囲” ⊂ “Bの範囲”
＞A と B が矛盾する　とは　 “Aの範囲” ∩ “Bの範囲” = φ

(Aの範囲)∩(Bの範囲)=φ というのは(Aの範囲)⊂(¬Bの範囲)のことであって、つまりA⇒¬Bのこと

背理法とは(A⇒B)∧(A⇒¬B)を示してそこから¬Aを導くことをいう

１は
＞D=0⇒p=4q+1
＞D=0⇒p≠4q+1
＞どちらも成り立たない
を認めているのだから、
AをD=0、Bをp=4q+1として、A⇒BもA⇒¬Bも偽であると言っているのに等しい

(A⇒B)∧(A⇒¬B)が示されないのだから、¬Aであるとは言えない。
「D=0が不適」とは¬Aのことである。つまり、
D=0⇒p=4q+1 と D=0⇒p≠4q+1 のどちらも成り立たないのに、それらを根拠として「D=0が不適」を導くのは誤り。