한 평면에 수직인 두 직선은 서로 평행하다.(Two straight lines perpendicular to a plane are parallel to each other.)