如何证明异面直线相交?