平面与平面垂直的性质定理可简言：面面垂直，则线面垂直．两平面垂直会有许多性质，选取这条性质作为性质定理有什么意义？这条定理都有什么应用？