一个平面过另一个平面的垂线，则这两个平面
定理：一个平面过另一个平面的垂线，则这两个平面垂直。
