>>496
では
D=0 のとき (「D(p^2 - 1) = 0 ⇒ A」は成立しない。)



D=0 のとき (A でない。)

と明示します。
>>472 の論法ではこちらの意味なので。