在括号内、横线上填空或填上推理依据.
如图,已知: , 求证: .
证明:(已知)
( )
(已知)
即
(平行于同一条直线的两条直线互相平行或如果两条直线都与第三条直线平行,那么这两条直线也互相平行).