無いものを証明するのは悪魔の証明といって非常に難しい