用反证法证明“如果两条直线都与第三条直线平行,那么这两条直线也互相平行”这个定理.