摘要

本文提出了一组垂直关系的命题,并给出了严格而不复杂的存在性证明.