存在を証明