The proof of which theorem is dynamically being illustrated here? Note: Segment DA is tangent to the circle.