Notes:

39. THEOREM 2. Two lines perpendicular to a hyperplane lie in a plane.

45. THEOREM. Two planes absolutely perpendicular to a third lie in a hyperplane.

63. THEOREM 3. If two planes not in one hyperplane have a common perpendicular hyperplane, they have a common perpendicular line and a common perpendicular plane.