证明两平面的交线垂直于两平面法向量形成的平面