用假设法证明平行于同一条直线的两直线互相平行