>>743
否定したいのであれば、否定する内容を書かなければこちらが分かるはずがない
じゃないですか？

こちらは、pが不定だという結果が元の式で成立するかを確認しているだけですから。