把命题“垂直于同一条直线的两条直线互相平行”改写成“如果…，那么…”的形式为________.