定理 如果两条直线同垂直于一个平面，那么这两条直线平行．