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