把“垂直于同一条直线的两直线平行”改写成“如果……那么……”的形式为（    ）。