직선과 평면의 수직에 관한 정리(Theorem on the perpendicular between a straight line and a plane)