将命题“过一点有且只有一条直线与已知直线垂直”改写“如果……那么……”的形式（    ）。