M.GHS.37: Construct a tangent line from a point outside a given circle to the circle.