>>305
多少論理学の知識があれば、形式的に証明するのは簡単そうだ、
と分かるはずだから問題ないよ