Proof: Segments of two tangents to a circle are equal length