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

在程序设计阶段应该采取 【2】 和逐步求精的方法，把一个模块的功能逐步分解，细化为一系列具体的步骤，进而用某种程序设计语言写成程序。