직선이 평면과 수직일 때 이 직선을 포함하는 모든 평면은 주어진 평면과 수직이다.(When a straight line is perpendicular to a plane, all planes containing this straight line are perpendicular to the given plane.)