存在と証明