四边形的存在性