>>875
ごめん。あたりまえすぎる論理だから見過ごしてました。
うん。
それが証明されるかどうかだよね。
そんでその命題が事実かどうか。
それだけ。