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.