平面与平面垂直的相关定理