To set up a straight line at right angles to a given plane from a given point in it.
Proof
Take an external point above the plane; drop a perpendicular from it
to the plane via XI.11; the foot may be made to coincide with the
given point by an additional parallel translation (using XI.8).