3.1 存在性证明