小明说垂直于通一条直线的两条直线一定平行