Proof of equal tangents to a circle