RE: Proof that tangent is perpendicular to radius