Thm 7 (converse of tangent perpendicular radius)