>>>973
>D=0のときはD(p^2-1)=0がp≠4q+1のときにも真になるというのが間違っているのではないかと
>書いています
どうゆうこと？
D=0 の列に◯と✕が交じるからダメってこと？
いや、矛盾とはあくまで
「両方みたすものがない」
であってそれ以外の意味はないよ？
D=0 の列に(0,2)、(0,3)、(0,7)、…と片方しか満たさないものが混じってるけど別にそれは矛盾の判定に影響しない。
両方みたすものが一組でもあれば、たとえその一組しかなかったとしても、矛盾ではない。
もうそれを認めないなら数学ではないんだけど？
