あるかないかってないことを証明するのは悪魔の証明といって不可能だからどっちでもいいです