高中数学~面面垂直的性质定理的证明过程中的一个小问题。