あることを証明するのはたやすいが
ないことを証明するのは難しい