>>762
否定的解決とかあるだろ。
肯定的な証明ばかりではないだろ。