>>174
>>171に書いてある部分では矛盾にならないが

>>143の
p≠4q+1⇒不適
pは不定⇒正しい
は両方正しいということにならないので、不適だと書いています