将‘垂直于同一直线的两直线平行’改为如果,那么的形式