9 - 探索存在性问题