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