如果一个平面与另一个平面的垂面平行,那么这两个平面垂直