無いものを無いと証明するのは非常に難しいからね