A plane is at right angles to a plane when the straight lines drawn in one of the planes at right angles to the common section of the planes are at right angles to the remaining plane.
lines 74–74 in main.tex