有ることを証明するのは楽だが無いことの証明ってどうやるの?