存在性の検証