展开 垂直可以证明平行吗