这就是我们对 平行线 的定义。