Proof: Segments tangent to circle from outside point are congruent