직선과 평면의 수직에 관한 정리