Proposition 12: To draw a straight line perpendicular to a given infinite straight line from a given point not on it.