如果一个平面经过另一个平面的一条垂线，那么这两个平面互相垂直．