Theorem 3: The two tangents to a circle are equal in length