直线与平面垂直的性质定理
直线与平面垂直的性质定理：垂直于同一个平面的两条直线平行
