如果一个平面经过另一个平面的一条垂线,那么这两个平面互相垂直
线⊥面推面⊥面 这个定理的图怎么画 标准点