如果两个平面垂直于另一个平面,则这两个平面的交线垂直于这个平面.这是定理吗?