将命题“在同一平面内，垂直于同一条直线的两条直线平行”改写为“如果……，那么……”的形式为.