>>339
数学の証明は正否不明なら否だっていうのを忘れてない?