存在性证明

existence proof