だが無いことを証明するのは難しいのだ