垂直于同一条直线的两直线平行的逆定理