ないことを証明するのは困難。