平面与平面垂直的判定、性质定理