立体几何中面面垂直可得到什么结论