>>326
にゃるほど
あらかじめp=4q+1があって
その他になんか式があって、それを計算すると0p=0になったと

>>323の命題１から、たとえ0p=0でもpが不定とは言えないと思うけれど
それとは関係なしに「pが不定と結論づける根拠として提示されたものが0p=0だけだ」って事にむず痒さを感じてるのね