不相交的两条直线如何证明垂直