Thm 6 (tangent perpendicular radius)