图形反证法的例题 是证明:如果两条直线都与第三条直线平行,那么这两条直线也平行.