两点之间线段最短,这个命题改成 如果,那么 的形式