:如果两个平面互相垂直,那么经过一个平面内一点的另一个平面的垂线必定在第一个平面内.