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