展开 垂直定理和垂直公理