存在性判断