把命题“平行于同一直线的两直线平行”改写成“如果…，那么…”的形式：                   ．