あること示すの簡単だけど無いこと証明するのって難しいよな